[coreboot-gerrit] Change in ...coreboot[master]: vboot: Fix linking error with USE_OPTION_TABLE enabled