tcl: Add support for the Digilent Nexys Video board