Comment 34 for bug 1848703

Thank you for your help so far...

I want (and I have got)
    dtoverlay=vc4-fkms-v3d
I want (and I have got) the vm4 drm driver
     /lib/modules/5.3.0-1008-raspi2/kernel/drivers/gpu/drm/vc4/vc4.ko

I want (but I do not have)
    /lib/modules/5.3.0-1008-raspi2/kernel/drivers/gpu/drm/v3d/v3d.ko

Please could you ensure this file is included in the
    linux-modules-xxx.deb ?