seabios/config.vga-bochs-display