[PATCH v3 1/3] arm64: dts: hi3798cv200: fix the size of GICR