Merge pull request #1647 from magumagu/mmu-flag-cleanup Cleanup: remove unnecessary uses of the bMMU flag