[coreboot] patch: a few fixes for build_opt_tbl