kernel: Deactivate options shown with CONFIG_KERNEL_KCOV=y