Hi,

This one goes on top of the -maxcpus patch. It changes the bios to use 
max_cpus to determine the size of the MADT table.

When no -maxcpus argument is given, we still fall back to the old 
default of 16.

Cheers,
Jes