K 10
svn:author
V 3
mav
K 8
svn:date
V 27
2016-07-14T14:35:25.863425Z
K 7
svn:log
V 153
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.

Proposed by:	jhb@, grehan@

END