Replace 0xFE000000 constants with KERNBASE Use new definition NKPDE in place of a first-last+1 calculation.