When you have multiple cores for the same platform, we list them in preferences and allow to select one. However, it looks that it's not sorted correctly:
Both of these should be alphabetic.