Annotated i386/smp.c i386/smp_boot.c