Kernel memory management seems fine