Merge pull request #13853 from heuisam/master

Samsung: fix baremetal #13851

Author: 0xc0170

targets/TARGET_Samsung/TARGET_SIDK_S1SBP6A/watchdog_api.c

@@ -25,7 +25,6 @@
 
 #include <string.h>
 #include <stdio.h>
-#include "cmsis_os.h"
 #include "cmsis.h"
 #include "watchdog_api.h"