x86, smp: eliminate asm/mach-default/mach_wakecpu.h