Do not attempt to access kernel_map in free(). It's a bad idea, and doubly