x86, mrst: use a temporary variable for SFI irq