2.4.2, syslinux, loadlin - no problem

Forget about my previous message. The kernel did not boot because I misconfigured the CPU type. It works now (e.g. from syslinux floppy).