Use the cpuid device to get the cpu model number.
Fix incorrect truncation of procdump string.