This resolves failure to boot on OcteonTX (TX1).Fixes: f2d8340 ("irqchip/gic-v3: Add GICv4.1 VPEID size discovery")Tested-by: Tim Harvey <tharvey@gateworks.com>Tim