CN80xx (octeontx/thunderx) breakage from f2d8340

[Tim Harvey]

Marc,

Im seeing a failure to boot on an octeontx CN80xx (thunderx) due to
f2d8340 ("irqchip/gic-v3: Add GICv4.1 VPEID size discovery"). I'm not
sure if something is hanging, I just get no console output from the
kernel.

Is there perhaps something in the dt that requires change? The
board/dts I'm using is:
https://github.com/Gateworks/dts-newport/blob/sdk-10.1.1.0-newport/gw6404-linux.dts
https://github.com/Gateworks/dts-newport/blob/sdk-10.1.1.0-newport/gw640x-linux.dtsi
https://github.com/Gateworks/dts-newport/blob/sdk-10.1.1.0-newport/cn81xx-linux.dtsi

Any ideas? I've cc'd the Cavium/Marvell folk to see if they know
what's up or can reproduce on some of their hardware.

Best Regards,

Tim