[ros-diffs] [arty] 27167: Update this code for the current mmu API. We now need to review KiInitializePcr and make it do the right thing for PPC. Forward toward the first thread!