Fix STM32 protothread example.