x86/boot: Fix kexec booting failure in the SEV bit detection code