Preparing for OP-TEE 3.20.0