Re: [PATCH] tee: Prevent size calculation wraparound on 32-bit kernels