reassign 707844 debian-installer thanks if debian-installer media would use syslinux' ifcpu/ifcpu64 c32 modules in it's isolinux configuration, you could prevent starting a non-matching kernel in the first place.
-- Address: Daniel Baumann, Donnerbuehlweg 3, CH-3012 Bern Email: [email protected] Internet: http://people.progress-technologies.net/~daniel.baumann/ -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
