Kernel mismatch

Those proprietary softwares you are mentioning are often causing problems. Maybe look for free and opensource alternatives or alternative installation methods (they exist!)(I am happy suggest some if you are interested).

In the meantime, take a look at the package build page to identify the lastest kernel-headers, then boot the corresponding kernel for installation of your softwares. Anyways, kernels 5.5.14 and 5.5.15 come with kernel-headers. So, just update your system and you are good to go.