Fix build for netduino and stm32f4disc