Preparing for OP-TEE 3.19.0