[dezgeg: note that we are currently using just 'Image' instead of 'Image.gz' as U-Boot doesn't support the latter yet. We might switch once it does since the kernel images are quite big]