Add real core identification. Now stlink may debug devices other than STM32F100RB...