kernel allocator runs on x86-64 :)