cb289ce6e2ce ("bus: vexpress-config: Annotate struct vexpress_syscfg_func with __counted_by")