[PATCH v2 37/39] x86: Allow devices to write an SSDT