[coreboot] [v2] r4377 - trunk/util/mkelfImage/linux-i386