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