Merge "Change the MP table to support >16 IRQ number"
tree: 09147888fa36622b5c546832312137acec451cec
  1. bochs/
  2. vgabios/
  3. Makefile
  4. README