--- xen-4.8.0/extras/mini-os/Makefile.orig	2016-09-28 12:09:38.000000000 +0100
+++ xen-4.8.0/extras/mini-os/Makefile	2017-02-15 21:15:19.340197960 +0000
@@ -142,6 +142,9 @@
 APP_LDLIBS += -lz
 APP_LDLIBS += -lm
 LDLIBS += -lc
+ifeq ($(MINIOS_TARGET_ARCH),x86_32)
+LDLIBS += -L$(shell dirname `gcc -m32 -print-libgcc-file-name`) -lgcc
+endif
 endif
 
 ifneq ($(APP_OBJS)-$(lwip),-y)
--- xen-4.8.0/tools/libxc/xc_dom_arm.c.orig	2016-12-05 12:03:27.000000000 +0000
+++ xen-4.8.0/tools/libxc/xc_dom_arm.c	2017-04-05 21:11:05.343337130 +0100
@@ -223,6 +223,7 @@
 
     domctl.domain = domid;
     domctl.cmd    = XEN_DOMCTL_set_address_size;
+    domctl.u.address_size.size = 0;
     for ( i = 0; i < ARRAY_SIZE(types); i++ )
         if ( !strcmp(types[i].guest, guest_type) )
             domctl.u.address_size.size = types[i].size;