stx-kconfig.cfg: fix do_kernel_configcheck warnings

No match.