Annotated i386/smp_boot.c init.c manager.c monitor.c and multiboot.c