of this firmware is controlled by the MKTEGRAFIRMWARE option, which defaults to yes on evbarm and evbarm64 and no everywhere else.