Support hard booting to a kexec kernel / Reboot with the recovery kernel.

See KEXEC_HARDBOOT config option help for details.