On the coordinate rings of quiver varieties associated to extended Dynkin diagrams Mod \(\ell\) representations of arithmetic fundamental groups. I: An analog of Serre's conjecture for function fields 