なぜ「psci-cpuidle」CPUidleドライバを使用しないのですか？

私のRaspberry Pi 5で/sys/devices/system/cpu/cpuidle/current_driver。noneここCONFIG_ARM_PSCI_CPUIDLEmenuconfigで有効になります。以下と比較したときのbcm2712_defconfig唯一の変更は次のとおりです。

CONFIG_CPU_IDLE_MULTIPLE_DRIVERS=y
CONFIG_DT_IDLE_STATES=y
CONFIG_DT_IDLE_GENPD=y
CONFIG_ARM_PSCI_CPUIDLE=y
CONFIG_ARM_PSCI_CPUIDLE_DOMAIN=y

これによりカーネルをコンパイルしてインストールしました。ガイド（特にクロスコンパイル部分）正常に起動し、新しいカーネルを実行していることを確認しました。

残念ながら、まだ/sys/devices/system/cpu/cpuidle/current_driver含まれていnoneます。今すぐ何が間違っているのかわからないので、ここにいる人の誰でも助けてくれることを願っています。