Re: [coreboot] patch: a few fixes for build_opt_tbl