[coreboot] Patch merged into coreboot/master: a40d82e Drop build_opt_tbl