[U-Boot] [PATCH 0/4] Tidy up some dangling OP-TEE gotchas

[Bryan O'Donoghue]

On 24/04/2019 01:43, Bryan O'Donoghue wrote:
> Rober P Day rightly pointed out that some odd OP-TEE specific defines were
> appearing in his defconfig, despite not having CONFIG_OPTEE=y set in his
> defconfig.

Ping,

Robert, Rui, Fabio - do you guys want changes here ?

---
bod