pub fn alloc_kernel_object_id() -> KernelObjectId