board: iot2050: update build documentation for OP-TEE