Symbol: MMU_PAGESHIFT512K