Changed the default NCPU to 1. Tested the low-level ping-pong IPC
benchmark, which is the only working script for the new system right
now.

Commented out the high-level booter as it doesn't compile at the
moment, because it shares booter.c with low-level booter..

Fixed a few warnings.
Code clean up.
Merge pull request #98 from interwq/master

Updated for uniprocessor test.