add '#ifdef CONFIG_KEXEC_HARDBOOT'