Re: [coreboot] Big picture of recent ARM patches?