x86, mpx: Add MPX-specific mmap interface