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