Re: [PATCH v3 30/35] x86: Allow devices to write an SSDT