Add volatile to asm statement in intr_get_level(),