Debian 12: missing kernel module dw_mmc_bluefield

[secufoe]

dw_mmc_bluefield is not compiled with the default kernel config. this leads to the installation failing because the MMC device is missing (tested on BF2). i was not able to compile a kernel inside the build container (some binfmt/qemu issue leads to core dumps). with a separate x86 debian container i was able to cross compile a kernel with the same config as in the build container's /boot directory + CONFIG_MMC_DW_BLUEFIELD=m. I had to edit the Makefile's EXTRAVERSION to match the default kernel's vermagic string ("6.1.0-11-arm64 SMP mod_unload modversions aarch64"). i then added it to the build container:

ADD dw_mmc-bluefield.ko .
RUN cp dw_mmc-bluefield.ko /lib/modules/${KERNEL}/kernel/drivers/mmc/host/ && depmod -a ${KERNEL}

also needs to be added to the dracut command.

i guess a better solution would be to use a kernel with the module enabled from the beginning, but i wasn't sure how to recompile the OFED + SoC kernel modules on debian (see #8).