Fix placement of kexec_hardboot options