@Mb01 what generation is your X1 Carbon? The only final solution for these proprietary UEFI bugs - is switching to the opensource coreboot firmware - just like we are doing for AMD Lenovo G505S (btw it’s the latest coreboot-supported laptop without Intel ME / AMD PSP backdoors at all, together with A88XM-E dekstop with A10-6700/A10-6800K) : G505S proprietary UEFI was really buggy and didn’t even have a working IOMMU, but with coreboot+SeaBIOS the same G505S works flawlessly under Qubes. However, only a few versions of X1 Carbon are supported by coreboot. At least you may try UEFI CSM mode and see if it is less buggy there…