[PATCH] myri10ge: improve firmware selection