Add Raspberry Pi 3 64-bit target