Get rid of manual vgaInReset port
Support to use the reset button as a Kansas Lava RST signal
Clarify description of board_init