In xAPIC (P4 and above) 256 ID is availabe on system bus while in APIC serial bus only 16 ID available. Don't check I/O APIC IDs for xAPIC systems in 32bit system.
In xAPIC (P4 and above) 256 ID is availabe on system bus while in APIC serial bus only 16 ID available.
Don't check I/O APIC IDs for xAPIC systems in 32bit system.

cmr/seL4,cmr/seL4,cmr/seL4