more improvements for the kernel allocator