[coreboot] Patch merged into coreboot/master: bdd89d0 baskingridge: update gpio map documentation