read cpu information out of /proc/cpuinfo if dmidecode is not available - fixes #306
merged upstream