Well currently I’m in the state of (once again) being unable to boot Ubuntu at all, even with these “possible workarounds” of unplugging/plugging-in usb devices - it would be great if at least there was a pattern or anything like that but there isn’t.
Interesting though that the Dev Kit also has weird little quirks. Which firmware are these devices even using? Is it based on coreboot like the Surface Firmware or something else? It’s funny not seeing any Insyde branding in the ThinkPad firmware