clcampos, valeu pela dica. Estou tão atarefado, que procurei sobre o note em tudo quanto era canto, menos aqui no próprio fórum.
Pelo que pude ler, há sim, problema na BIOS e de incompatibilidade com o Kernel.
Acredito que irei ficar com o Toshiba, apesar de ser 300 reais mais caro e 1GB a menos de memória, mas acho que vale pela facilidade e a posterior assistência técnica.