I386_KCORE_PAE
if ((cpu_kh->pdppaddr & I386_KCORE_PAE) == I386_KCORE_PAE)
cpuhdr.pdppaddr |= I386_KCORE_PAE;