Re fast interrupts. In the .35+ SMP, if I didn't miss something else,"fast" interrupts start with local_cli but not withglobal_cli. Is this the intended semantics?