[coreboot] GPIO configuration in coreboot