Steve, I just started with a fresh Raspian image and performed all of the suggested steps: apt-get update apt-get upgrade 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.