Fix incorrect CPU type on Ubuntu 12.10.
Merge pull request #117 from juliandunn/fix-ubuntu-cpu

Fix incorrect CPU type on Ubuntu 12.10.