Forgot to update STK number in one place.

stevew817 · stevew817 · commit b515defdd47f · 2016-01-13T09:17:54.000+01:00
diff --git a/workspace_tools/targets.py b/workspace_tools/targets.py
@@ -1928,7 +1928,7 @@ def __init__(self):
     EFM32WG_STK3800(),
     EFM32ZG_STK3200(),
     EFM32HG_STK3400(),
-	EFM32PG_STKXXXX(),
+	EFM32PG_STK3401(),
 
     ### WIZnet ###
     WIZWIKI_W7500(),
