Given it looks like coreboot's ARM support is still not quite there from what I can see, I'm not surprised they picked u-boot which has been running on ARM for

Given it looks like coreboot's ARM support is still not quite there from what I can see, I'm not surprised they picked u-boot which has been running on ARM for some time.