Fixing the doublePatchelf in initrd; it should be for all ARM.
Adding an untested bootloader for raspberrypi
Fixing the init= in raspberrypi loader.
Fixing the doublePatchelf in initrd; it should be for all ARM.
Merge branch 'raspberrypi'

Adding support for the kind of bootloader in raspberrypi. Disable grub,
disable generationsDir, enable boot.loader.raspberrypi.

Usual layout expected: /boot being the first vfat the board reads blobs from.