I just started with a fresh Raspian image and performed all of the suggested steps:
apt-get install raspberrypi-kernel-headers -y
Unfortunately, I'm still seeing the same results. Fortunately, I haven't yet installed any of the ASL or DVSwitch stuff.
root@P25reflector:/usr/src # uname -r
root@P25reflector:/usr/src # ls