Cleanup (one assertion is enough)
Cleanup (sane diagnostic message)
platform: check if restart is possible