Don't forget to lock regs, also fix REBOOT.