Hi,

Per Avi's request, here's a patch which moves the current _PR section
from the DSDT table into a new SSDT table.

The long term idea is to be able to have multiple different SSDTs for
different sized systems, and in particular allow to keep the legacy one
for supporting legacy operating systems which cannot handle more then 15
vcpus.

Cheers,
Jes