of the reserved KVAs (vpage[]) used by these routines. This avoids the
context switching in there.
* In pmap_redzone(), remove the first kernel address (at KERNBASE) from
the kernel maps instead of just turning off the PTE `valid' bits.
The latter doesn't create a "red zone" at all, but causes the VM to
allocate a new page if the red zone is touched.