Hola.
Yo tengo el mismo caso en el portátil, bueno, casi: una intel y una nvidia.
con
lspci -v | grep VGA obtengo el listado de las tarjetas instaladas , y con
dmesg | grep gpu me aparece la Intel, que supongo será la que el sistema está utilizando, porque dmesg muestra los mensajes del kernel generados durante el arranque. En mi caso no me preocupa la tarjeta que utilice porque no necesito mucho de eso, con que se vea el Googleearth voy sobrao.
Pero sé precavido al configurar una tarjeta en lugar de la otra o las dos, busca info primero y haz copia de cualquier cosa que vayas a modificar, no sea que te encuentres con algún problemilla. No sé en tu Linux-mint como irá, pero ahora Debian no utiliza el /etc/X11/xorg.conf, que siempre ha sido muy socorrido para estas cosas. Aunque eso no quiere decir que no lo puedas crear (si está ahí lo tendrá en cuenta), pero habría que investigar un poco la cosa, o contar con la opinión de alguien más experimentado que pase por aquí.
Un saludo.
