Re: [coreboot] How to read the gpio status?