http://mbed.org/users/mbed_official/code/USBDevice/#0e6b3f44926e