Re: [coreboot] Coreboot RS780 problem