HomeFreeBSD

LinuxKPI: Add video/vga.h header