Fix incorrect CPU type on Ubuntu 12.10.#117

Merged

juliandunn merged 1 commit intochef:masterfrom juliandunn:fix-ubuntu-cpu

Nov 20, 2013

+2-2

Commits on Nov 20, 2013

Fix incorrect CPU type on Ubuntu 12.10.
Julian C. Dunn
committed