OK, I'm currently re-installing Mint to be completely sure I didn't touch anything important through that "make menuconfig" venture.

This should not take longer than 10 minutes, since I install from a USB stick. I'll immediately try your script after that. I suppose after that I just run setup.sh from their "driver" to install it?

Give me 20 minutes and I'll report back. Thanks!