fix Cpu vendor in systemtools

this should fix #652