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