Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
        hlt
        jmp     1b
 
-#include "../../kernel/verify_cpu.S"
+#include "../../kernel/verify_cpu_64.S"
 
        /* Be careful here startup_64 needs to be at a predictable
         * address so I can export it in an ELF header.  Bootloaders
 
        movb    $0xbc,%al       ;  outb %al,$0x80
        jmp no_longmode
 
-#include "../verify_cpu.S"
+#include "../verify_cpu_64.S"
        
 /* This code uses an extended set of video mode numbers. These include:
  * Aliases for standard modes
 
 no_longmode:
        hlt
        jmp no_longmode
-#include "verify_cpu.S"
+#include "verify_cpu_64.S"
 
        # Careful these need to be in the same 64K segment as the above;
 tidt: