Fix STM32F4 protothreads example.