cleaning kernel allocator up a bit