Alexander Motin 4cefe96c6d 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@
2016-07-14 14:35:25 +00:00
..
2016-05-03 22:07:18 +00:00
2016-05-03 22:07:18 +00:00
2014-02-04 05:03:14 +00:00
2016-05-03 22:07:18 +00:00