K 10 svn:author V 4 neel K 8 svn:date V 27 2013-11-25T23:31:00.691120Z K 7 svn:log V 253 Fix discrepancy between the IOAPIC ID advertised by firmware tables and the actual value read by the guest from the device. The IOAPIC ID is now set to zero in both MPtable/ACPI tables as well as in the ioapic device emulation. Pointed out by: grehan@ END