Preparing for OP-TEE 3.12.0