[coreboot-gerrit] Change in coreboot[master]: cavium/bdk: Fix possible divide by zero