a few small changes; kernel allocator looking good :)