ARM: add Raspberry Pi 3 64-bit config