hurd: mach/hurd/x86 also needs x86 tunables