Symbol: MAX_LAPIC_ID