* file is included at various places and compiled in that context.
* This file is expected to run in 32bit code. Currently:
*
- * arch/x86_64/boot/compressed/head_64.S: Boot cpu verification
- * arch/x86_64/kernel/trampoline_64.S: secondary processor verfication
- * arch/x86_64/kernel/head_32.S: processor startup
+ * arch/x86/boot/compressed/head_64.S: Boot cpu verification
+ * arch/x86/kernel/trampoline_64.S: secondary processor verfication
+ * arch/x86/kernel/head_32.S: processor startup
*
* verify_cpu, returns the status of longmode and SSE in register %eax.
* 0: Success 1: Failure