After support is merged into the kernel, add a test that maps the same user addr (mmaped page/s) to two different (non-overlapping) GPAs.