1086c1086
< gic = Gicv3()
---
> gic = Gicv3(maint_int=ArmPPI(num=25))