Index: kernel/generic/src/sysinfo/sysinfo.c
===================================================================
--- kernel/generic/src/sysinfo/sysinfo.c	(revision 6e121b8c6823b53d2588dac16ca12e517fea0c94)
+++ kernel/generic/src/sysinfo/sysinfo.c	(revision c6218327f3437c1c5a023b48de7d6a9003c93ede)
@@ -104,6 +104,5 @@
 /** Recursively find an item in sysinfo tree
  *
- * Should be called with interrupts disabled
- * and sysinfo_lock held.
+ * Should be called with sysinfo_lock held.
  *
  * @param name    Current sysinfo path suffix.
@@ -170,6 +169,5 @@
 /** Recursively create items in sysinfo tree
  *
- * Should be called with interrupts disabled
- * and sysinfo_lock held.
+ * Should be called with sysinfo_lock held.
  *
  * @param name     Current sysinfo path suffix.
@@ -301,5 +299,4 @@
 {
 	/* Protect sysinfo tree consistency */
-	ipl_t ipl = interrupts_disable();
 	mutex_lock(&sysinfo_lock);
 	
@@ -314,5 +311,4 @@
 	
 	mutex_unlock(&sysinfo_lock);
-	interrupts_restore(ipl);
 }
 
@@ -334,5 +330,4 @@
 {
 	/* Protect sysinfo tree consistency */
-	ipl_t ipl = interrupts_disable();
 	mutex_lock(&sysinfo_lock);
 	
@@ -348,5 +343,4 @@
 	
 	mutex_unlock(&sysinfo_lock);
-	interrupts_restore(ipl);
 }
 
@@ -363,5 +357,4 @@
 {
 	/* Protect sysinfo tree consistency */
-	ipl_t ipl = interrupts_disable();
 	mutex_lock(&sysinfo_lock);
 	
@@ -376,5 +369,4 @@
 	
 	mutex_unlock(&sysinfo_lock);
-	interrupts_restore(ipl);
 }
 
@@ -396,5 +388,4 @@
 {
 	/* Protect sysinfo tree consistency */
-	ipl_t ipl = interrupts_disable();
 	mutex_lock(&sysinfo_lock);
 	
@@ -409,5 +400,4 @@
 	
 	mutex_unlock(&sysinfo_lock);
-	interrupts_restore(ipl);
 }
 
@@ -422,5 +412,4 @@
 {
 	/* Protect sysinfo tree consistency */
-	ipl_t ipl = interrupts_disable();
 	mutex_lock(&sysinfo_lock);
 	
@@ -433,5 +422,4 @@
 	
 	mutex_unlock(&sysinfo_lock);
-	interrupts_restore(ipl);
 }
 
@@ -448,5 +436,4 @@
 {
 	/* Protect sysinfo tree consistency */
-	ipl_t ipl = interrupts_disable();
 	mutex_lock(&sysinfo_lock);
 	
@@ -464,5 +451,4 @@
 	
 	mutex_unlock(&sysinfo_lock);
-	interrupts_restore(ipl);
 }
 
@@ -481,6 +467,5 @@
 /** Dump the structure of sysinfo tree
  *
- * Should be called with interrupts disabled
- * and sysinfo_lock held.
+ * Should be called with sysinfo_lock held.
  *
  * @param root  Root item of the current (sub)tree.
@@ -558,5 +543,4 @@
 	/* Avoid other functions to mess with sysinfo
 	   while we are dumping it */
-	ipl_t ipl = interrupts_disable();
 	mutex_lock(&sysinfo_lock);
 	
@@ -567,11 +551,9 @@
 	
 	mutex_unlock(&sysinfo_lock);
-	interrupts_restore(ipl);
 }
 
 /** Return sysinfo item value determined by name
  *
- * Should be called with interrupts disabled
- * and sysinfo_lock held.
+ * Should be called with sysinfo_lock held.
  *
  * @param name    Sysinfo path.
@@ -658,9 +640,7 @@
 		 * are reading it.
 		 */
-		ipl_t ipl = interrupts_disable();
 		mutex_lock(&sysinfo_lock);
 		ret = sysinfo_get_item(path, NULL, dry_run);
 		mutex_unlock(&sysinfo_lock);
-		interrupts_restore(ipl);
 	}
 	free(path);