qemu64 CPU model is incorrect