i think we're missing -m evbarm -a earmv4 builds, which should create an evbarm set targetting our speical eabi on armv4, and that "normal" earm builds should elide them. shouldn't be too hard, we already collect them eg, into $EVBARM_BOARDS.armv4.
thanks for pointing that out! .mrg.
