o geoffc está certo. Descobri ao explorar o BIOS que minha máquina está usando o NVIDIA Optimus, uma "nova" tecnologia para economizar bateria. A idéia geral é que ele permite que o motorista escolha a placa de vídeo correta com base na demanda, ou seja, um jogo em 3D usará a NVIDIA, enquanto navegar na Internet no Chrome usará a placa integrada da Intel.
Existem duas maneiras de usar manualmente um cartão específico: