Re: [SeaBIOS] Bug#678042: seabios - Please enable Xen support