[coreboot] Patch set updated for coreboot: 4ecbb5d acpigen: make acpigen_write_len_f() non static