Re: [coreboot] RCA RM4100 vs Thomson IP1000