Re: [U-Boot] [U-Boot, v4, 08/19] Documentation: tee uclass and op-tee driver