[U-Boot] "optee" Kbuild seems to have weird dependencies

[Robert P. J. Day]

  going over the u-boot.cfg generated from zynq_zed_defconfig, and
noticed the following:

  #define CONFIG_OPTEE_TZDRAM_BASE 0x00000000
  #define CONFIG_OPTEE_TZDRAM_SIZE 0x0000000

i thought that was strange as CONFIG_OPTEE was not selected, so i
checked, and here's the relevant snippet from lib/optee/Kconfig:

  config OPTEE
        bool "Support OPTEE images"
        help
          U-Boot can be configured to boot OPTEE images.
          Selecting this option will enable shared OPTEE library code and
          enable an OPTEE specific bootm command that will perform additional
          OPTEE specific checks before booting an OPTEE image created with
          mkimage.

  config OPTEE_TZDRAM_SIZE
        hex "Amount of Trust-Zone RAM for the OPTEE image"
        default 0x0000000
        help
          The size of pre-allocated Trust Zone DRAM to allocate for the OPTEE
          runtime.

  config OPTEE_TZDRAM_BASE
        hex "Base address of Trust-Zone RAM for the OPTEE image"
        default 0x00000000
        help
          The base address of pre-allocated Trust Zone DRAM for
          the OPTEE runtime.

those two Kbuild directives are (strangely?) not dependent on OPTEE,
which is why they show up in u-boot.cfg. is this deliberate? i know
nothing about TEE, but it seems odd that OPTEE-related settings don't
depend on OPTEE.

  am i misreading something?

rday

p.s. the MAINTAINERS entry for TEE seems incomplete as well:

TEE
M:      Jens Wiklander <jens.wiklander at linaro.org>
S:      Maintained
F:      drivers/tee/
F:      include/tee.h
F:      include/tee/

  one suspects that should include, at the very least:

  * lib/optee
  * include/config/optee