RE: vgabios use howto.