Symbol: KERNEL_PMAP_BASE