Per impostare il frame buffer di Debian a 1280×800, modificare il file /boot/grub/menu.list aggiungendo il parametro vga=0x365 alla riga in cui è indicato kernel /vmlinuz…
Inoltre, se necessario bisogna inserire nel file /etc/modules il modulo corrispondente al frame buffer, nel mio caso intelfb.