Upgrade TKL to 64-bit kernel

apt-get install linux-generic-pae linux-headers-generic-pae

Courtesy: Turnkey Linux Forum

Advertisements