@frinkahedron I went on and upgraded the linux-firmware package to the 20200316-106 currently in the 4.1 repo. That does not appear to be sufficient, but then with no serial console it’s just working in the dark (see Getting a serial console on USB-only Qubes laptop). How were you able to get the diagnostic in the first place ?