In other news, I've had the "sleep of death" twice now while charging overnight.
No overclock, stock voltages, lazy governor, deep idle enabled.
The first time screen off max freq was enabled.
The second time screen off max freq was disabled.
Is this likely to be a problem with lazy or deep idle?