Excellent, that's probably one of the many reasons why the code doesn't do anything when flashed.  I'll take a look and see if I can come up with something.

I also have access to the nrf51822-evalkit.  Which is very similar the nrf51822-mbed.  And I believe that Nordic has BLE support for GCC (I'm not really sure though).  I'll see If I can get one of Nordic SDK BLE demo apps compiled with GCC, and see if it works on the evalkit board.  If so, then they must be doing the concatenation somewhere in their make files/tools, and maybe I could mimic what they're doing.