We’ve actually gotten sleep working since. @Joao_Manoel’s custom kernel allows sleep, pushing the power button once.
I’ve integrated it into my own custom image, reactivating the sleep icon, and adding sleep to the power context menu.