Fix support for STM32F4DISCOVERY

Enable GPIO Port D for the Discovery (since the 4 LEDs are on PortD)
Disable MMA7660 support for Discovery
Added PB15 SD Card detect (the DM-STF4BB Base Board has an SDCard slot on it, and the card detect is connected to PB15)