amount of virtual address space for kernel virtual memory