Add refresh freq and timing info to vga640x480
Use VGA.Driver from kansas-lava-papilio package