STM32F4-Discovery Shield

Any news from the STM32F4 front ?

Would this chip/board be supported by the Arduino IDE any time ?