Hello,

This patch follows through the proposal to obsolete the mips*-*-mach3* 
system (host and target).  It was the old DEC PMAX machine.

Baring problems, I'll commit in a week,
Andrew