This is somewhat related to #51 . Now that Raspbian is available for aarch64, (as well as Ubuntu), any plan for official support for the 64-bit OSes?
