[coreboot] mkelfImage & newer kernels