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