/proc/cpuinfo can have several lines containing the word "type". We want the one...