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