[coreboot-gerrit] Patch set updated for coreboot: 0d19fe4 storm: supply vboot GPIO settings in coreboot table