kconfig: explain symbol value defaults