Merge "Allow dex2oat to use userfaultfd in microdroid"