improving kernel allocator, some updates in the book