[11U68]fix P0_11 to use GPIO

Fork of mbed-src by mbed official

Revision:
548:1abac31e188e
Parent:
525:c320967f86b9
--- a/targets/hal/TARGET_Silicon_Labs/TARGET_EFM32/pinmap.c	Fri May 22 09:45:08 2015 +0100
+++ b/targets/hal/TARGET_Silicon_Labs/TARGET_EFM32/pinmap.c	Fri May 22 10:45:46 2015 +0100
@@ -30,10 +30,10 @@
     MBED_ASSERT(pin != NC);
 
     /* Enable GPIO clock if not already done */
-     if (!gpio_clock_inited) {
-         CMU_ClockEnable(cmuClock_GPIO, true);
-         gpio_clock_inited = 1;
-     }
+    if (!gpio_clock_inited) {
+        CMU_ClockEnable(cmuClock_GPIO, true);
+        gpio_clock_inited = 1;
+    }
 
     /* Pin and port index encoded in one uint32.
      * First four bits represent the pin number