Bug#1075713: linux: ISO missing qxl.ko.xz kernel module

[Tj <tj.iam.tj@proton.me>]

Source: linux
Followup-For: Bug #1075713
X-Debbugs-Cc: tj.iam.tj@proton.me debian-boot@lists.debian.org

I've inspected the arch-latest amd64 ISO from:

https://get.debian.org/images/daily-builds/daily/arch-latest/amd64/iso-cd/debian-testing-amd64-netinst.iso

It is missing drivers/gpu/drm/qxl/qxl.ko.xz kernel module.

We need to review the ISO build log(s) and the Debian Image scripts but
I've been unable to track them down.

I also noticed that in

/usr/lib/modules/6.9.7-amd64/kernel/drivers/gpu/drm/

all 6 modules there are named *.ko

but the other 818 modules in the installer image are *.ko.xz

This may be a clue!