Symbol: KERNEL_PGD_BOUNDARY