184a185,186
>
> gicv4 = Param.Bool(True, "GICv4 extension available")