Reboot kernel on mock #4