arm_gic.c error message fix, by Adam Lackorzynski.