Use correct platform name for ARM64-based chips#36

opajonk wants to merge 1 commit intoeclipse-score:maineclipse-score/devcontainer:mainfrom

elektrobit-contrib:use-correct-platform-nameelektrobit-contrib/eclipse-score_devcontainer:use-correct-platform-nameCopy head branch name to clipboard