How to install PAE headers for Ubuntu Linux kernel, for Bumblebee Nvidia/Optimus

gistfile1.txt

sudo apt-get install -f
sudo apt-get clean
sudo apt-get update
sudo apt-get install linux-headers-$(uname -r)
sudo dkms autoinstall -k $(uname -r)
sudo apt-get --purge --reinstall install nvidia-current
sudo modprobe -v -r nouveau
sudo restart bumblebeed



Note: original support/bug topic here:
https://github.com/Bumblebee-Project/Bumblebee/issues/61