port GCC support for nRF51822-mKit platform