[Arm-dev] 64 bit image for Raspberry Pi