Насколько я понял, xserver-xorg-video-mach64 - не сам драйвер, а его обертка, или драйвер верхнего уровня. Он вызывает функции модуля ядра mach64, которого по крайней мере в моем прекомпилированном ядре нет. В системе должен быть файл mach64.ko который, если не загружается при старте, можно...