Removed the now obsolete freertos version of libopencm3 and linking against an unmodified version of libopencm3.  The necessary changes are made in my FreeRTOS port.c file now.
Now actually works with standard checkout of modern libopencm3