rpi-config: Specify bcm2710-rpi-3-b dtb for 64bit rpi3

Let config.txt explicitly specify it

Signed-off-by: Khem Raj <raj.khem@gmail.com>

recipes-bsp/bootfiles/rpi-config_git.bb

@@ -112,6 +112,12 @@ do_deploy() {
     fi
 }
 
+do_deploy_append_raspberrypi3-64() {
+    # Device Tree support
+    echo "# Load correct Device Tree for Aarch64" >>${DEPLOYDIR}/bcm2835-bootfiles/config.txt
+    echo "device_tree=bcm2710-rpi-3-b.dtb" >>${DEPLOYDIR}/bcm2835-bootfiles/config.txt
+}
+
 addtask deploy before do_package after do_install
 do_deploy[dirs] += "${DEPLOYDIR}/bcm2835-bootfiles"