Move printing the initial ":" into the board driver, like i82586.c does. Don't bother printing the amount of RAM, as it's always 64 KB.
and a front-end driver for the Ether3. Only semantic change is to remove ea_claimirq() and ea_releaseirq() on the grounds that the seem too spurious to warrant a callback to the front-end.