se manca davvero devi o ricompilare tutto includendolo staticamente oppure la cosa più semplice compili il modulo binfmt_elf.o e poi lo carichi, in entrambi i casi ti devi procurare i sorgenti del kernel presente sul floppy.