Dear maintainers,

Thank you for your hard work maintaining the Linux kernel packages, it is
really appreciated.

I am missing the CONFIG_TEE_STMM_EFI config option in the default Debian
kernel:

$ grep CONFIG_TEE_STMM_EFI /boot/config-6.12.95+deb13-arm64
# CONFIG_TEE_STMM_EFI is not set

Please enable it, as it allows certain systems to have full runtime access
to EFI variable, and will not be probed on devices that do not support
this facility.

Thank you and best wishes