> From the logs, it looks like I immedetely woke up the machine again.
Yes, I was thinking the same, but from all I can tell, the clock just stops, the machine really does go to sleep.
But it's very hard to tell. I added some timers based on `ktime_get` (which is supposed to return real time), and even that's inconsistent. But at least in some places I _can_ measure the real time that the machine was sleeping for.
Also the LED on the power button on the right side stays on, and doesn't go into its blinking state to indicate that it's sleeping. Except that sometimes it does. And then it stays like that even after resume. It's very weird.