Clean up Mini-OS namespace

Clean up the Mini-OS namespace so that we can build arbitrary unmodified software with rumprun-xen without running into namespace conflicts.

http://thread.gmane.org/gmane.comp.rumpkernel.user/514