Also added download support on the Raspberry Pi 3.
The following feature has appeared. The FAT partition does not
install the last installed kernel, but the first kernel in the
KFLAVOURS list. This was done in order to enable  u-boot to
default load another kernel, for example std-def.