Fixing default SDK_BASE_DIR to be compatible with cygwin
Adding rtimer_get_time_until_next_wakeup