path to ocarina_components.aadl wasn't right, and deployment platform
was based on old version of the list of supported boards