kernel: Deactivate options shown with CONFIG_KERNEL_DEBUG_VIRTUAL=y