> Sascha has pointed me that kernelimage_type is not needed anymore. bootm
> is able to detect the correct image type.

Right, thanks!

-- 
Pengutronix e.K.                           | Wolfram Sang                |
Industrial Linux Solutions                 | http://www.pengutronix.de/  |