Regarding virtual address space of the kernel...