lib/utils.c: lazy initialize user_hz and psched_hz am: 6760f904f2 am: 43dadae700
am: d0a1958f4a

Change-Id: Iece05529bfc7d822ea96f27f1d915d8ba49c4b33