enforce KERNEL_CONF_STACKSIZE_PRINTF in kernel.h