[PATCH v4 06/59] x86: Add a config for the systemagent PCIEX regions size