x86: Make selection of address of NDKS in linker script between PAE and normal paging nicer
x86: Make selection of address of NDKS in linker script between PAE and normal paging nicer

zhicheng/seL4,zhicheng/seL4,cmr/seL4,cmr/seL4,zhicheng/seL4,cmr/seL4