On Mon, 15 Jun 2015, Michal Marek wrote: > > > MIPS64 kernels builds will produce a vmlinux.32 kernel image for > > > compatibility, ignore them. > > > > Ralf, Michal, which one of you should take this patch? > > I just applied it to kbuild.git#misc. I suggest adding vmlinux.64 for consistency as well. Maciej