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