kernel/configs.c: remove useless comments