Symbol: APICBASE_PHYSADDR