add masking of PAGE_MASK in rand32
replace open-coded PAGE_MASK with use of define