[coreboot] coreboot and U-Boot: a comparison