GIC_INTID_SPURIOUS is a GIC-specific intid so it's not valid for custom interrupt controllers. Rework a bit the logic by comparing the intid to the maximum intid possible instead. Signed-off-by: Carlo Caione <ccaione@baylibre.com>