Preparing for OP-TEE 4.6.0