依存関係オプションが満たされてもカーネルオプションは非表示になります。

カーネル（4.19.235）を設定しており、NO_HZ_FULLこのオプションを有効にする必要があります。

現在は、optionsとのみmenuconfigが表示されますHZ_PERIODIC。必要なオプションを確認NO_HZ_IDLEするために「依存：」行を確認しましたが、NO_HZ_FULLそのリストは次のとおりです。

Depends on: <choice> && !ARCH_USES_GETTIMEOFFSET [=n] && GENERIC_CLOCKEVENTS [=y] && SMP [=y] && HAVE_CONTEXT_TRACKING [=n] && HAVE_VIRT_CPU_ACCOUNTING_GEN [=n]

そのオプションの現在の状態は次のとおりです。

Symbol: ARCH_USES_GETTIMEOFFSET [=n]
  │ Type  : bool
  │   Defined at kernel/time/Kconfig:25

Symbol: GENERIC_CLOCKEVENTS [=y]
  │ Type  : bool
  │   Defined at kernel/time/Kconfig:29
  │   Selected by [y]:
  │   - X86 [=y] 

Symbol: SMP [=y]
  │ Type  : bool
  │ Prompt: Symmetric multi-processing support
  │   Location:
  │ (1) -> Processor type and features
  │   Defined at arch/x86/Kconfig:376

Symbol: HAVE_CONTEXT_TRACKING [=n]
  │ Type  : bool
  │   Defined at arch/Kconfig:495
  │   Selected by [n]:
  │   - X86 [=y] && X86_64 [=n]

Symbol: HAVE_VIRT_CPU_ACCOUNTING_GEN [=n]
  │ Type  : bool
  │   Defined at arch/Kconfig:512

そのオプションがなぜ表示されないのかご存知ですか？この行を直接追加するには、.configを手動で編集する必要がありますか？