Update kernel_memory_allocation.md