Из того, что я могу найти до сих пор, мои текущие системные ядра, которые я установил из пакета linux-headers-4.19.20-041920_4.19.20-041920.201902061341_all.deb находятся в:
/usr/src/linux-headers-4.19.20-041920/include
Тем не менее, VMWare Workstation не принимает их:
C header files matching your running kernel were not found. Refer to your distribution's documentation for installation instructions.
Вывести uname -a:
Linux <hostname> 4.19.20-041920-generic #201902061341 SMP Wed Feb 6 18:44:00 UTC 2019 x86_64 x86_64 x86_64 GNU/Linux