Thanks for your input, Michal. The problem turned out to be a bad SDRAM initialization. Different behavior was observed on the MPC8280 because that board had Samsung SDRAM parts whereas the MPC8250 and MPC8270 boards had Micron SDRAM parts. Ethernet works on all three boards now.