[ros-diffs] [cgutman] 53287: [HAL] - Don't use a hard-coded constant instead of PAGE_SHIFT