Re: [coreboot] GPIO PADRSTCFG conflict in datasheet