What do you think of this solution: https://github.com/RIOT-OS/RIOT/pull/139
i.e., just set KERNEL_CONF_STACKSIZE_DEFAULT