1) Set I/O APIC ID according to BKDG recommendation