make SVR_THREAD_STACK_SIZE configurable outside rtgui_config.h