[coreboot] New patch to review for coreboot: a40d82e Drop build_opt_tbl