Fix __schedule_bug() output when called from an interrupt