Re: [coreboot] GPIO configuration in coreboot