There are special CFLAGS in the Makefile for real-time code. The CFLAGS include -Os line1242:
EXTRA_CFLAGS += -fPIC -Os
I am a bit puzzled why this isn't -O2. Or at least propagated from (other) configuration options. It can't be a problem with size. There is plenty memory.
Using size optimize in real-time code is even more puzzling because this code is supposed to run as fast as possible...
Shouldn't this just be changed/fixed to read -O2?
BTW, there is one more instance of -Os in the Makefile (line 254). This also makes no sense.