OE kernel in debug mode

Hello,

When searching carefully variables in kernel/.config.
I find out that the kernel managed by the excellent Openembedded is compiled in debug mode.

CONFIG_DEBUG_KERNEL=y
CONFIG_DETECT_SOFTLOCKUP=y
CONFIG_SCHED_DEBUG=y
CONFIG_SCHEDSTATS=y
CONFIG_TIMER_STATS=y
CONFIG_DEBUG_MUTEXES=y

For me, It should save some cpu times (10-20% ??) and interests everybody using OE.

Agree, comments ?

Thanks,

Laurent

More like 0.1 and 0.2%