Query regarding kernel memory