brcm2708: bcm2710: add 64 bit support for Raspberry Pi 3