Add vga_config and vga_conf_top in case it needs to be referenced later