Is there a reason that the floppy.ko module is compiled for the standard kernel, but not for kernel-xen0? It appears to work without any problems...