diff --git a/kernel/system/do_getinfo.c b/kernel/system/do_getinfo.c
index 98c0748c7..4a64599db 100644
--- a/kernel/system/do_getinfo.c
+++ b/kernel/system/do_getinfo.c
@@ -19,6 +19,9 @@
 
 #include <minix/u64.h>
 
+/*===========================================================================*
+ *			        update_idle_time			     *
+ *===========================================================================*/
 PRIVATE void update_idle_time(void)
 {
 	int i;
@@ -180,7 +183,7 @@ PUBLIC int do_getinfo(struct proc * caller, message * m_ptr)
     }
     case GET_IDLETSC: {
 	struct proc * idl;
-
+	update_idle_time();
 	idl = proc_addr(IDLE);
         length = sizeof(idl->p_cycles);
         src_vir = (vir_bytes) &idl->p_cycles;
diff --git a/lib/libsys/getidle.c b/lib/libsys/getidle.c
index 9a57ae884..af37d7b0d 100644
--- a/lib/libsys/getidle.c
+++ b/lib/libsys/getidle.c
@@ -11,7 +11,6 @@
  *
  * Notes:
  * - This functionality can only be used by system processes.
- * - The kernel has to be compiled with CONFIG_IDLE_TSC support.
  * - Only one getidle() run is allowed per process at a time.
  *
  */