CONFIG_KEXEC_HARDBOOT