[PATCH 4.19 54/95] ARM: dts: bcm: HR2: Fix PPI interrupt types