linux-user/ia64: workaround ia64 strangenesses