Does it look OK to change the Alpha port to use the sys/dev/dec
version of mcclock.c, rather than the Alpha-specific one?
Apart from the different default clockrate and the ifdefs to set it
up, they're identical.

(please cc: me on replies, since I dont follow port-alpha)