x86 core_id() uses the LAPIC again