Could you give rather the dmesg output from the booted with the patched kernel kernel-default-5.3.18-2.1.ga3f276c?