Re: [PATCH 0/2] AMD-TEE driver bug fixes