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