Update from mbed.org on the core library