[coreboot-gerrit] Change in coreboot[master]: [RFC] mb/scaleway: Use mainboard_get_option() API