The public edition of libCEC has no built in support for this specific dev board, you will need to purchase a commercial license for this support.
The error message you are receiving is because the library is specifically looking for the Pulse-Eight adapter, which is what the GPL edition of libCEC is capable of connecting to.
I suggest you contact Pulse-Eight for additional support