add setting of MSR "PR" bit for when running MMU test