Re: [coreboot] [PATCH 1/2] ACPI EC: add ec_query function