libsys: unbreak getidle()

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;

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.
  *
  */