arm32 has two different terminal types

		vt100:	cats, riscpc, rc7500, a7000
		pc3:	shark

	ebsa285 does not appear have a console driver.

	1.4 used vt100, but about 9 months ago it was switched to pc3.
	This is going to screw up a lot of acorn and chalice users who
	try to upgrade - unless anyone screams I intend to change this
	back.

	The correct fix is for everyone to use wscons, and for the
	recently discussed arm32 ports split.

	In general I would expect there to be fewer shark arm32 users
	than others, and I would also expect them to be more literate
	and better able to handle the breakage.

		David/absolute
				       -- www.netbsd.org: No hype required --