Replace GPL'd xmalloc with a BSD-licensed malloc.

I believe this was the last GPL'd file hidden in the Mini-OS sources
and this whole repo can now be considered free software regardless of
how it is used, modified and/or distributed.

TODO: avoid wastefulness in the standard "just allocate a page, thanks"
case for the malloc hypercall.