This is the quickie patch, but someone might care to make the USER_HZ-coupled value scale for HZ=64 etc.