Symbol: apic_free_apic_cpus