--- arch/s390/kernel/s390_ext.c

+++ arch/s390/kernel/s390_ext.c

@@ -126,6 +126,8 @@ void __irq_entry do_extint(struct pt_reg

/* Serve timer interrupts first. */

clock_comparator_work();

kstat_cpu(smp_processor_id()).irqs[EXTERNAL_INTERRUPT]++;

+ if (code != 0x1004)

+ __get_cpu_var(s390_idle).nohz_delay = 1;

index = ext_hash(code);

for (p = ext_int_hash[index]; p; p = p->next) {

if (likely(p->code == code))