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