nRF51822 mbed SDK with working GPIO, RawSerial, and timer