Hello Florian,
> This avoids a race with the bcm5974 kernel module. > Fixes <https://bugs.gnu.org/35574>. This seems indeed better than not building the module. I know that (for now) having a mouse in the installer is not very useful. But maybe `kernel-arguments' in (gnu system install) should inherit from this field? Thanks, Mathieu