Re: [coreboot] Could you please recommend an ARM board for the GSoC project?