1 files changed, 7 insertions, 0 deletions

diff --git a/arch/x86_64/kernel/head64.c b/arch/x86_64/kernel/head64.c
index 6c34bdd22e26..213d90e04755 100644
--- a/arch/x86_64/kernel/head64.c
+++ b/arch/x86_64/kernel/head64.c
@@ -62,6 +62,13 @@ void __init x86_64_start_kernel(char * real_mode_data)
 {
         int i;
 
+        /*
+         * Make sure kernel is aligned to 2MB address. Catching it at compile
+         * time is better. Change your config file and compile the kernel
+         * for a 2MB aligned address (CONFIG_PHYSICAL_START)
+         */
+        BUILD_BUG_ON(CONFIG_PHYSICAL_START & (__KERNEL_ALIGN - 1));
+
         /* clear bss before set_intr_gate with early_idt_handler */
         clear_bss();