HomeFreeBSD

kmem_malloc/free: Use void * instead of vm_offset_t for kernel pointers.