#include <asm/segment.h> #include <asm/msr.h> #include <asm/processor-flags.h> #include "../../platform/efi/efi_stub_64.S"