Added header file that decodes the intel x86 flags register.

Added field in kinfo that can count re-lock()ing, controlled by
ENABLE_K_LOCKCHECK in config.h.

include/minix/config.h

@@ -67,6 +67,7 @@
 
 /* Enable or disable kernel calls (allows for minimal kernel). */
 #define ENABLE_K_DEBUGGING 0	/* kernel debugging calls */
+#define ENABLE_K_LOCKCHECK 0	/* kernel lock() sanity check */
 
 /* Include or exclude an image of /dev/boot in the boot image. */
 #define ENABLE_BOOTDEV	   0

include/minix/type.h

@@ -106,6 +106,9 @@ struct kinfo {
   int nr_tasks;			/* number of kernel tasks */
   char release[4];		/* kernel release number */
   char version[4];		/* kernel version number */
+#if ENABLE_K_LOCKCHECK
+  int relocking;
+#endif
 };
 
 struct machine {