Re: [PATCH v3 15/35] acpi: Support writing an integer