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.