Не плохо бы собирать с IKCONFIG=y. /proc/config.gz много места не занимает, а, иногда, хочется посмотреть, как ядро было собрано.
modprobe configs
cat /boot/config-3.10.32-led-ws-alt8
Да, нашёл уже configs.ko. Не успел только написать - коллизия случилась. :-) Но std-def и ovz-el собраны с CONFIG_IKCONFIG=y, "modprobe configs" как-то непривычно. Что касается /boot, тоже, как-то, забылось, уж непомню, когда я там конфиг искал в последний раз. :-(