Raspberry Pi 3 support

[Oleksandr Tymoshenko]

> On Oct 13, 2016, at 10:43 PM, Oleksandr Tymoshenko <gonzo at bluezbox.com> wrote:
> 
> Hello,
> 
> 
> - bootcmd for EFI would look like:
>    fatload mmc 0 ${loadaddr} loader.efi; bootefi ${loadaddr} 0x100
>    where 0x100 is FDT blob address matching the value of device_tree_address
>    parameter in config.txt

I stand corrected. boot1.efi should be placed on FAT partition and used in this command,
not loader.efi

Actually the right way to do this is to copy boot1.efi to EFI/BOOT/bootaa64.efi
Then no custom boot command is required. Board will just boot.