[coreboot-gerrit] Change in coreboot[master]: mc_bdx1: Fix coverity error