512 ;)

Maybe something dependent on sizeof(int)? Or maybe we should redefine KERNEL_CONF_STACKSIZE_DEFAULT in cpu-conf.h without printf.