Added function read_cpu_flags() that returns current cpu flags as a

long.  This is used to check for interrupts being disabled at the time
of a lock() call, if enabled in config.h. The number of times this
happens is then counted in the kinfo structure. These events (recursive
lockings) lead to nasty race conditions.

kernel/main.c

@@ -180,6 +180,7 @@ PRIVATE void announce(void)
   /* Check if boot device was loaded with the kernel. */
   if (kinfo.bootdev_base > 0)
       kprintf("Image of /dev/boot loaded. Size: %u KB.\n", kinfo.bootdev_size);
+
 }