A floppy driver in the debian installer kernel

Hi Adrian and Michael,

Indeed, it would be great to have a floppy driver at installation time. But it seems that the 
floppy-module udeb was removed. Would it be possible to ship it in the udeb kernel package instead,
either built-in or as a module ?

I wonder if one of the two following patches (against source package 'linux' - one patch would suffice !)
would work. They are untested - but I hope it will help to find the correct solution nevertheless.

Regards,
JH Chatenet

PS : it is the opportunity to thank you (and Samuel Thibault) for all your work on the alpha kernel and 
towards a working debian installer on alpha - and the other ports !

First patch : have the floppy driver built-in

diff -Naur a/linux-5.5.17/debian/config/alpha/config b/linux-5.5.17/debian/config/alpha/config
--- a/linux-5.5.17/debian/config/alpha/config	2020-04-15 04:35:16.000000000 +0200
+++ b/linux-5.5.17/debian/config/alpha/config	2020-04-21 15:31:52.645845117 +0200
@@ -120,7 +120,7 @@
 ##
 ## file: drivers/block/Kconfig
 ##
-CONFIG_BLK_DEV_FD=m
+CONFIG_BLK_DEV_FD=y
 CONFIG_BLK_DEV_UMEM=m
 CONFIG_BLK_DEV_SX8=m
 CONFIG_CDROM_PKTCDVD=m

Second patch : ship the floppy module in the kernel udeb

diff -Naur a/linux-5.5.17/debian/installer/modules/alpha-generic/kernel-image b/linux-5.5.17/debian/installer/modules/alpha-generic/kernel-image
--- a/linux-5.5.17/debian/installer/modules/alpha-generic/kernel-image	2018-12-29 20:49:45.000000000 +0100
+++ b/linux-5.5.17/debian/installer/modules/alpha-generic/kernel-image	2020-04-21 15:36:55.527347025 +0200
@@ -1 +1,2 @@
 #include <kernel-image>
+floppy