Re: [PATCH 0/2] arch: arm: gic-v3-its: stop abusing the device tree