[Soekris] 4801 and FreeBSD -current

[Poul-Henning Kamp]

At least under FreeBSD -current, but probably also -stable, the TSC
is no good for timekeeping.

For now a workaround is:
	sysctl kern.timecounter.hardware=i8254

I will commit a decent solution when I have one.

Ohh, and on another note, in case anyone needs to know it, the SC1100's
SBA is located at 0x6000.

-- 
Poul-Henning Kamp       | UNIX since Zilog Zeus 3.20
phk at FreeBSD.ORG         | TCP/IP since RFC 956
FreeBSD committer       | BSD since 4.3-tahoe
Never attribute to malice what can adequately be explained by incompetence.