raisin: disable seabios in Xen, if the user disabled it in Raisin

If the user disabled seabios in the raisin config, disable seabios in
Xen.

Signed-off-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>

diff --git a/components/xen b/components/xen
index 9ff0222961771849bdc17eda7488680bc3c3e477..add81360f721304345669a883b8d541ef95d492d 100644 (file)
--- a/components/xen
+++ b/components/xen
@@ -24,7 +24,7 @@ function xen_check_package() {
 }
 
 function xen_build() {
-    local seabios_opt=""
+    local seabios_opt="--disable-seabios"
     local ovmf_opt=""
 
     cd "$BASEDIR"