framebuffer support

[Hartmut Koptein <koptein@et-inf.fho-emden.de>]

Hi Ben,


if i understand it correctly: you will use _only_ the vga16fb for
the boot-floppies, right?? No other framebuffers!?

If so, you should rework/rethink your bogl-lib. Or you change the
use of isa_io_base into the PCI MMIO one.

If this isn't possible the vga16fb should then be only another fb for
use.

For example, powerpc has 3 or more framebuffers into the kernel (lacking
support of modules). 

Thanks,

    Hartmut