f1fc4934a3
Set up a SCB to be able to handle clock interrupts in the boot program. Now timer countdown should work on all types of vaxen.