[coreboot-gerrit] Change in vboot[master]: build error solve KLOCWORK