added kernel/vga.h