Re: [coreboot] Patch set updated for coreboot: 7f2d27b rs780: hide unused gpp ports