Re: [coreboot] RCA RM4100 Lives!