x86: include mach_apic.h in smpboot_64.c and smpboot.c