[coreboot] [PATCH 1/3] ACPI EC: add ec_set_bit() / ec_clr_bit()