7aa7583c8e
to allow this exception so that accurate tuning of delay() can be done (i.e. avoiding VIA-related wait states and cache effects as much as possible). XXX During this narrow window, it is still conceivable that we could get interrupts from devices other than the VIA timer. Normally this shouldn't be a problem because interrupt handlers should generally not be registered until we get to autoconfig. It is, however, a potential pitfall to be aware of.