Its not how i'd have done it! There obviously is something wrong with there logic if you cant turn on the device at all.... not good... and likely to cause alot of returns. The procedure i outline works around their bug.

But the ARM cpu it uses is so efficient (as opposed to x86 cpus) that you might as well enjoy it and leave it turned on, or accept to work around that glitchy power management.

If you really do this alot and are willing to accept your need to code your own solution (to something that should work better off-the-shelf) there might be workarounds by editing the /etc/mce/mce.ini file.