xen: add -vga xenfb option, configure xenfb (Gerd Hoffmann)