#110 VGA Debug Output Patch

I think you may have asked me on IRC to give a link to this patch I made for outputting some debugging info in seabios, before I set up a serial cable: https://mail.coreboot.org/hyperkitty/list/seabios@seabios.org/thread/X55G2DUH572AHUSABQU3BNSHZHNVJ3BK/ If you try it out and run into an issue and I'm around, it would be good to let me know, since it's likely just some mistake I made publishing it.