[coreboot-gerrit] Patch set updated for coreboot: cae6a08 ibexpeak: Set number of USB ports.