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