I have done the modificiations which should fix this problem.
But I get a new one:

../bin/flashos/flashos.a: Warning: Section size of 24626 bytes is larger than requested size of 24576.
../bin/flashos/flashos.a: Warning: Section size of 24638 bytes is larger than requested size of 24576.

So I have to fix this before releasing the RC7.