CONFIG_SMP_IDLETHREAD_STACKSIZE vs CONFIG_IDLETHREAD_STACKSIZE

[Takashi Yamamoto]

hi,

these configs have the following default values:

  CONFIG_SMP_IDLETHREAD_STACKSIZE=2048
  CONFIG_IDLETHREAD_STACKSIZE=1024

is there any rationale of these values?
the kconfig help text seems to suggest the opposite; the SMP one
should be smaller.