K 10
svn:author
V 3
mav
K 8
svn:date
V 27
2017-07-24T06:49:57.905947Z
K 7
svn:log
V 138
MFC r302843:
Increase number of I/O APIC pins from 24 to 32 to give PCI up to 16 IRQs.

Move HPET to the top of the supported 0-31 range.

END