Maybe I am wrong, but I think common parameters here (from ``guest-hw.cfg``) are: ``smp`` and ``used_cpus``.