[coreboot-gerrit] Change in coreboot[master]: option.h: Correct `get_uint_option` return type