Note: I am new to Linux/Kali but I'm getting the hang of it

The problem
I updated my Kali Linux OS (I use the Live USB /w persistence) and I am having tremendous problems installing the right kernel headers. My Linux OS is looking for the 4.12 headers, although I have kernel 13 installed through the latest updates. So where is this mismatch coming from? this happened when I updated from 4.12 to 4.13 through the system updates. So far the problem still exists...

This mismatch results in a lot of packages failing to install.. no kernel header found.


What I did
installed all the updates through:
- apt-get update
- apt-get upgrade
- apt-get dist-upgrade
- more of those commands for updates

I also installed the latest 4.13 amd64 headers and image from the official https://http.kali.org/kali/pool/main/l/linux/ repo...

The Results

> uname -r
4.12.0-kali1-amd64

> uname -a
Linux kali 4.12.0-kali1-amd64 #1 SMP Debian 4.12.6-1kali6 (2017-08-30) x86_64 GNU/Linux

> apt-get install linux-headers-$(uname -r)
Reading package lists... Done
Building dependency tree
Reading state information... Done
E: Unable to locate package linux-headers-4.12.0-kali1-amd64
E: Couldn't find any package by glob 'linux-headers-4.12.0-kali1-amd64'
E: Couldn't find any package by regex 'linux-headers-4.12.0-kali1-amd64'


> apt-cache search linux-headers
aufs-dkms - DKMS files to build and install aufs
linux-headers-4.13.0-kali1-all - All header files for Linux 4.13 (meta-package)
linux-headers-4.13.0-kali1-all-amd64 - All header files for Linux 4.13 (meta-package)
linux-headers-4.13.0-kali1-amd64 - Header files for Linux 4.13.0-kali1-amd64
linux-headers-4.13.0-kali1-common - Common header files for Linux 4.13.0-kali1
linux-headers-amd64 - Header files for Linux amd64 configuration (meta-package)
linux-libc-dev-alpha-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-arm64-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-armel-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-armhf-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-hppa-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-m68k-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-mips-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-mips64-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-mips64el-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-mipsel-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-powerpc-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-powerpcspe-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-ppc64-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-ppc64el-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-s390x-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-sh4-cross - Linux Kernel Headers for development (for cross-compiling)
linux-libc-dev-sparc64-cross - Linux Kernel Headers for development (for cross-compiling)

>cat /etc/apt/sources.list
deb http://http.kali.org/kali kali-rolling main contrib non-free
deb-src http://http.kali.org/kali kali-rolling main contrib non-free