Fixing the random reboot bug in the Kernel.