Re: [coreboot] questions about veyron boards and the rk3288