[PATCH v4 0/2] use dt and UCLASS_IRQ/SYSCON to get gic details