adding improvements to vga driver as well as kprintf