Поставте 32-х разрядную версию (если еще не передумали альт ставить на сей девайс) и обновите ядро командой update-kernel -t std-pae
это для поддержки оперативы более 3Гб, после обновите всю ситему. Напишите в багзилле что с 32-х разрядной версией все работает, проблема в собранном ядре или его модуле (скорей всего в модуле проблема), возможно исправят. И обязательно поставте bumblebee это уменьшит температуру чипов и значительно уменьшит энергопотребление.