CONFIG_TEE=y
CONFIG_OPTEE=y
CONFIG_PINCTRL_SINGLE=y
CONFIG_DEBUG_INFO=n
