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