more kernel allocator fixes