Getting libvmi running on ARM
Make PFN accesses work across the board on ARM