rpi3: add defconfig, try with trailer for 64bit kernel