f5439ed7d3
evbmips-el/evbmips64-el. Note that MAXMAPARITITONS and majors numbers differ between the two ports which is why two kernels are still needed.