My thanks to Ted R. (and Charles M.): the ethernet cards were right there in the Network Device Support. The problem was operator error (i.e. me). I now have a lovely 841mb kernel. Thanks! ...Karl Kutac