Fix STM32 F2/F4 SDIO clocking; Clean-up files in sched/ directory

git-svn-id: https://nuttx.svn.sourceforge.net/svnroot/nuttx/trunk@4940 7fd9a85b-ad96-42d3-883c-3090e2eb8679

nuttx/sched/timer_getoverrun.c

@@ -2,7 +2,7 @@
  * timer_getoverrun.c
  *
  *   Copyright (C) 2007, 2008, 2011 Gregory Nutt. All rights reserved.
- *   Author: Gregory Nutt <spudmonkey@racsa.co.cr>
+ *   Author: Gregory Nutt <gnutt@nuttx.org>
  *
  * Redistribution and use in source and binary forms, with or without
  * modification, are permitted provided that the following conditions
@@ -38,8 +38,10 @@
  ********************************************************************************/
 
 #include <nuttx/config.h>
+
 #include <time.h>
 #include <errno.h>
+
 #include "timer_internal.h"
 
 #ifndef CONFIG_DISABLE_POSIX_TIMERS
@@ -65,7 +67,7 @@
  ********************************************************************************/
 
 /********************************************************************************
- * Function:  timer_getoverrun
+ * Name: timer_getoverrun
  *
  * Description:
  *   Only a single signal will be queued to the process for a given timer at any