new updated version with option for using Libre-Linux kernel source

Still a few bugs to fix.. .