x86: fix CONFIG_KEXEC build breakage