Merge pull request #87 from interwq/master

PPOS update
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.