This was done by code inspection; I have no way to test this. I also had a hard time finding documentation on the GIC register map, but the `GICD_*` definitions in `gic_v3_reg.h` suggest this size is correct.
Hopefully @whu or @kevans can report on if it fixes the observed boot-time panic.