pc: set PRST base in DSDT depending on chipset