I finally bought an ThinkPad X1 Yoga (4. Generation). I can report that everything works on nixos, but the internal microphone.
According to the arch wiki, one should install the Sound Open Firmware. Is there an example on howto install such a firmware on nixos or can I just simply create a derivation that downloads the release and copies the files?