This has been rebased onto master and reworked to address review. Same tests applied as last time, same results as last time.
However, with ncpus>1 and apic enabled, there are warnings spewed at beginning of gnumach regarding cpu_number, but doesnt prevent continuing to start of boot process. Damien
