Support hard booting to a kexec kernel.

See KEXEC_HARDBOOT config option help for details.