I just gave up and got out the 8100/80 instead, thinking that I'd post here the next day (which I've done).

Maybe someone else has a clue. I wonder if putting in the mis-matched RAM was a bad idea.