Fix CONFIG_IPIPE_DEBUG_CONTEXT in 2.0-12

Philippe,

hunk below is missing from the merge of my topmost-stalled-warning patch -v2 into ipipe-git. This fixes CONFIG_IPIPE_DEBUG_CONTEXT build of ipipe-2.6.26-x86-2.0-12.

Jan

---
 kernel/ipipe/core.c |    1 +
 1 file changed, 1 insertion(+)

Index: b/kernel/ipipe/core.c
===================================================================

kernel/ipipe/core.c +1 -0

@@ -1571,6 +1571,7 @@ void __init ipipe_init_proc(void)
 #ifdef CONFIG_IPIPE_DEBUG_CONTEXT
 
 DEFINE_PER_CPU(int, ipipe_percpu_context_check) = { 1 };
+DEFINE_PER_CPU(int, ipipe_saved_context_check_state);
 
 void ipipe_check_context(struct ipipe_domain *border_ipd)
 {