kernel: fix typo in Kconfig