K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2003-12-16T16:32:28.000000Z
K 7
svn:log
V 408
Pin 0 on the first I/O APIC is always an ExtINT pin.  Some BIOS's are
broken and list the type of the pin as INT rather than ExtINT in the MP
Table.  To workaround, force pin 0 of ioapic 0 to be ExtINT if it is of
type INT.  This is not a MFC as -current has very different apic code now.
Current's mptable parser might need a similar workaround.

PR:		i386/39234
Reported by:	Henri Hennebert <hlh@ciger.be>

END