Re: [coreboot] 5536 GPIO