Add seavgabios configuration for virtio-vga,
hook up the new vgabios in the makefiles.
Signed-off-by: NGerd Hoffmann <kraxel@redhat.com>