Memory space reserved for pmap_kernel_l2dtable_kva and
pmap_kernel_l2ptp_kva has not been taken into account in
original code.
Submitted by: Grzegorz Bernacki <gjb@semihalf.com>
 Obtained from: Semihalf
 Sponsored by: Stormshield
 Reviewed by:
 Differential revision: