tcl/board/arty_s7: Fix proc and chip name