[GCC_CR] fixed issue 590

Refer to:
https://github.com/mbedmicro/mbed/issues/590