Merge pull request #5132 from ligfx/commentoutpagetagshift MMU: comment-out unused var HW_PAGE_TAG_SHIFT