kexec-hardboot: fix derp