Patched version of the libopencm3 library for building FreeRTOS against in the OggBox project