Build Xen stubs separately, with CFLAGS from Mini-OS