Document how to build OP-TEE dispatcher