Use PAGE_ALIGNED() instead of open coding it in the x86/mm code.