Sounds like getting the Debian 64 bit 38.x kernel will be the easiest for me. I'm off to read Gdebi man page to give it a go.

Reply via email to