Возьмите последний кейл, полгода назад они анонсировали поддержку Cortex-M7.
Тут можно картинки полистать:
http://www2.keil.com/mdk5/cortex-m7/Поддержка STLink в кейле встроенная, надо просто выбрать правильный отладчик (правда, откуда драйвер поставился, я не помню. Возможно, от штатной ST'шной утилиты).