I read in the cmake that the architecture **aarch64** (for **pine64**) is not supported. What would it take to make it compliant with such a board ?