[ros-diffs] [jgardou] 64255: [NDK] - Rename MM_PAGE_FRAME_NUMBER_SIZE into MM_VPN_BITS_SIZE on a suggestion from Timo