kexec_hardboot: Fix mistake...