Re: [coreboot] coreboot on s4882?