[Bug 223672] gnome system info does not report cpu type