Lenovo X1 Gen13 - Ubuntu 25.10 Kernel headers missing

[Andreas Bulling]

Hi,

I am running Ubuntu 25.10 on a Lenovo X1 Gen13 and ran into the problem 
that the external display doesn't work with a connected Lenovo docking 
station.

This is a well-known problem and the solution is to manually install the 
synaptics DisplayLink driver.

The laptop came preinstalled with kernel 6.17.0-1012-oem. However, I 
cannot manually install because the corresponding kernel headers are not 
available and they are also nowhere to be found.

Please help.

Thanks,
   Andreas Bulling