Saving SRAM on mbed

Might be helpful Mbed Build Error - RTOS 'osKernelGetTickCount' - #9 by valeros