x86_64: Don't rely on a unique IO-APIC ID