Same problem here... it happens with x-terminal "reboot" as well as with simplereboot. I gotta try the workarounds, anyway.

Another strange symptom is that sometimes (rarely indeed) device reboots instead of shutting down

First time it occurred I missed alarm clock in the morning (device stopped on PIN screen and that way it seems no alarm can be started).

Now I check twice if device really halted before going to sleep