Hello, how can I change the default boot vga (intel or nvidia) with a terminal?