Research: Find out if Raspbian image can be booted through bootloader instead of kernel

Acceptance criteria:

• Successfully demonstrated that Raspbian can be launched under QEMU by booting the bootloader, not the kernel (this means using the -kernel argument with the U-Boot binary).

There are two main ways this can come about:

1. Boot the U-Boot binary compiled for RaspberryPi. I'm not sure if Raspbian actually comes with this bootloader, since RaspberryPi does not depend on U-Boot for booting. If not it will have to be compiled separately. In either case, I consider this less likely to work compared to the next option, but it is closer to the real thing.
2. Boot the vexpress-qemu compiled U-Boot binary, but use it to launch the RaspberryPi kernel from the image.