Merge pull request #10582 from malavikasajikumar/master

Adding LED4 definition in PinNames.h of SDP-K1 board.

Author: 0xc0170

targets/TARGET_STM/TARGET_STM32F4/TARGET_STM32F469xI/TARGET_SDP_K1/PinNames.h

@@ -309,6 +309,7 @@ typedef enum {
     LED1        = PK_7, // Red LED
     LED2        = PK_6, // Orange LED
     LED3        = PK_5, // Green LED
+    LED4        = PK_4,
     LED_RED     = LED1,
     LED_ORANGE  = LED2,
     LED_GREEN   = LED3,
@@ -348,8 +349,6 @@ typedef enum {
     SDP_TMR_B    = PE_6,
     SDP_TMR_D    = PC_8,
 
-    PWM_OUT      = PA_1,
-
     /**** USB pins ****/
     USB_OTG_HS_DM = PB_14,
     USB_OTG_HS_DP = PB_15,