Notes on hooks
Broken so back out
Try to plumb in liballoc_alloc using code from user/apps/l4test/ia32/arch.h, user/apps/l4test/mem.cc, and similar