[coreboot-gerrit] Change in coreboot[master]: drivers/intel/mipi_camera: Change type for gpio_num to uint16_t