stm32f4-discovery: close port of stm32-p407

For the discovery dev board. Because it's pretty sweet.