set CPU ID to boot on Haswell machines

http://ntk.me/2012/09/07/os-x-on-os-x/