PAGE_ALIGN(): correctly handle 64-bit values on 32-bit architectures