wget http://www.4dsystems.com.au/downloads/4DPi/kernel4dpi_1.2-1_all.deb

sudo dpkg -i kernel4dpi_1.2-1_all.deb