Pues en efecto son las ArcadeVGA

Aqui tienes mas info:
http://marcianitos.forumcommunity.net/?t=1936003
Ponte en contacto con MAD para el tema del firmware (o directamente entra tu mismo en el almacen marciano).

Respecto al fb, si has seguido el tutorial hasta el haber compilado e instalado las svgalib, entonces estas usando estas. El framebuffer lo usaria primero si hubieras compilado a mano el kernel, aunque esto no valdria de mucho pues pocos drivers FB soportan los modos especiales (forzados) de advancemame. Si este es tu caso, debes hacer lo mismo que le dije a empardopo, cambia el device_video.

Un Saludo!