added a few numbers needed by the vga driver