Linux カーネルのリビルド CONFIG_EFI_MIXED について

CONFIG_EFI_MIXEDを有効にするには、CONFIG_EFI_STUB=yになっている必要がありますが、
CONFIG_EFI_MIXEDの説明には、

Note that it is not possible to boot a mixed-mode enabled
kernel via the EFI boot stub

と書いてあります。これって、CONFIG_EFI_STUB=nじゃないの？と思った方が他にもいるらしくて・・

Re: [PATCH] efi: Clarify Kconfig help for EFI_MIXED

kernel via the EFI boot stub on 32-bit firmware

説明が分かりにくいから、このの方がいいよね？と。

CONFIG_EFI_MIXEDの説明にある"EFI boot stub"は、CONFIG_EFI_STUBの有効、無効の話でなくて、システム側の話だったみたいです。