procfs: add num_to_str() to speed up /proc/stat
some updates from linux 3.10