[PATCH 1/1] ntdll: Disable userfaultfd support on Android.