Re: [coreboot] Patrick, ARM SoC