enforce KERNEL_CONF_STACKSIZE_PRINTF in kernel.h
Merge pull request #397 from thomaseichinger/kernel_conf_stacksize_printf

enforce KERNEL_CONF_STACKSIZE_PRINTF in kernel.h