another bunch of pre-64-bit patches for kernel allocator