[IA64] don't double >> PAGE_SHIFT pointer for /dev/kmem access