Tota,
Obrigado pelo apoio, mas os tutoriais mais completos que já encontrei referem-se a instalação de drivers da Nvidia. Não consigo encontrar nenhum tutorial completo que se refere a instalação de drivers da Intel. Cada driver tem seu comportamento particular, nesse caso comandos padrões não resolvem. Os próprios desenvolvedores que lançam drivers da Intel compatíveis com Linux, pelo visto, não testam na prática seu funcionamento, e por isso não criam tutoriais, ou melhor, existem as orientações de instalação dentro da própria pasta do driver, eu sigo de acordo, mas na prática nada funciona mesmo.
Quanto a questão de memória alocada na BIOS, pelo que entendi só deve interferir na velocidade do gráfico e não da resolução da tela.