Tool needed to convert bootable images in kernel.img files which can be loaded by rpi bootloader. Change-Id: I0088707be5d31d77def1087f51e3f8cc886d19db Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>