[PATCH v4 32/35] x86: Allow devices to write to DSDT