[coreboot] New patch to review for coreboot: 1d3222e acpigen: make acpigen_write_len_f() non static