mach: Disable 32bit compatibility mode

32bit compatibility is the default for now with 64bit gnumach, until 64bit
userland is ready.  Here we however want native 64bit userland anyway.

scripts/build-many-glibcs.py

@@ -1428,6 +1428,7 @@ class Config(object):
                              '--build=%s' % self.ctx.build_triplet,
                              '--host=%s' % self.triplet,
                              '--prefix=',
+                             '--disable-user32',
                              'CC=%s-gcc -nostdlib' % self.triplet])
         cmdlist.add_command('install', ['make', 'DESTDIR=%s' % self.sysroot,
                                         'install-data'])