Re: [coreboot] RS780 dev3 detection