Package: debian-installer Version: 20040310 The kernel used after installation should be chosen according to the installed CPU.