Interface and implementation improvements for kernel memory allocator and resource map