--- zzzz-none-000/linux-3.10.107/arch/x86/boot/compressed/efi_stub_64.S	2017-06-27 09:49:32.000000000 +0000
+++ scorpion-7490-727/linux-3.10.107/arch/x86/boot/compressed/efi_stub_64.S	2021-02-04 17:41:59.000000000 +0000
@@ -1 +1,5 @@
+#include <asm/segment.h>
+#include <asm/msr.h>
+#include <asm/processor-flags.h>
+
 #include "../../platform/efi/efi_stub_64.S"