starting to port kernel allocator to 64-bit