--- zzzz-none-000/linux-4.1.52/drivers/Kconfig	2018-05-28 02:26:45.000000000 +0000
+++ bcm63-7530ax-731/linux-4.1.52/drivers/Kconfig	2022-03-02 11:37:12.000000000 +0000
@@ -182,4 +182,8 @@
 
 source "drivers/android/Kconfig"
 
+if BCM_KF_OPTEE
+source "drivers/tee/Kconfig"
+endif
+
 endmenu