[API] Timers - Add a stop system timer API.
[DRIVERS] SDCARD|SDHCI - Some fixes to the SDCard drivers.
[CLEANUP] Removed stray linker files.
[MACH] ZYNQ - Apply a FULL peripheral reset on SDIO controller before probe.
[DRIVERS] SDCard - SDHCI - Added register dump, and improved init.
[BSP] ZYNQ - ZED_BOARD - Demo loading of second application.