x86: include mach_wakecpu.h in smpboot_64