[PATCH] x86-64: Put more than one cpu in TARGET_CPUS