[PATCH v5 1/9] ia64, processor: fix -Wincompatible-pointer-types in ia64_get_irr()