History 0003-linux-user-default-cpu-model.patch