bcm2835-bootfiles: Use deploy as it should be used

Change-Id: Ia90f01e037286647fdfafdd54ccb47c1ad9cbab2
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
rpi-config: Use deploy as it should be used

Change-Id: I6c7782f3f46adeae74e22991bb9203dafa2e1c78
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
rpi-default-providers: Use u-boot-rpi as u-boot provider

Change-Id: Ic537cada66ff09cde592da977a109415e05cb19c
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
rpi-default-providers: Move PREFERRED_VERSIONs to rpi-default-versions.inc

Change-Id: I61c32aa23eef86cb9861776b37c4ecd8f7c8052c
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
raspberrypi.conf: Let KERNEL_IMAGETYPE be modified

Change-Id: I6019c1ec77ed1ec5c00ab16cb57dd108e2bd5ba8
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
sdcard_image-rpi: Add support for u-boot and uImage

If KERNEL_IMAGETYPE is uImage, use u-boot image as kernel.img and copy uImage
too. Otherwise, use kernel image as kernel.img (as we did until now
unconditionally).

Change-Id: Iac46a57e4266299f2fe5746cb6957dcfc0e90443
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
README: Add info about U-Boot support

Change-Id: I1b17ef313d2005b7bf0ef853a2730144032f8539
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
u-boot-rpi: Integrate package

Change-Id: I61f2cd7d3b64ea3efac618aa2bb3555e9e79da2a
Signed-off-by: Andrei Gherzan <andrei@gherzan.ro>
rpi-mkimage: Integrate package

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>