Re: [PATCH v3 19/35] acpi: Support writing Device Properties objects via _DSD