So far identical to the rpi2 one except for the dts file as the SW runs in 32bit mode. [Peter: extend commit message] Signed-off-by: Ubaldo Porcheddu <ubaldo@eja.it> Signed-off-by: Peter Korsgaard <peter@korsgaard.com>