Correct name of Corstone-300 platform in the documentation according to community page: https://community.arm.com/developer/tools-software/oss-platforms/w/docs/603/corstone-300-platforms?_ga=2.134218033.1588689089.1592910732-138461961.1567510952