mbed SDK and mbed BLE API for nRF51822, built with gcc-arm-embedded toolchain