[coreboot] [PATCH] Avoid cross-device renames in build_opt_tbl