x86: cpuinit-annotate SMP boot trampolines properly