--- irq.c.orig 2004-05-18 08:53:05.363390440 -0400 +++ irq.c 2004-05-18 08:53:25.052755701 -0400 @@ -431,7 +431,7 @@ irq_enter(); #ifdef CONFIG_DEBUG_STACKOVERFLOW - /* Debugging check for stack overflow: is there less than 1KB free? */ + /* Debugging check for stack overflow: is there less than 512B free? */ { long esp;