There's no need that the page table has to be in low memory. Use the 12k
just past the nominal end of kernend for this page table and adjust
kernend for this use. This will ensure that the page table survives
until it's replaced later in boot.
This saves just under 12k of memory in the 640k zone.
Sponsored by: Netflix