Well, I reinstalled Linux Mint 17 (went smoothly) and sadly there is no /proc/config.gz . Is there any means to direct the screen output to my usb flash drive? Or at least stop it scrolling until I have had a chance to read things? Is there possibly a "debug" option that can be invoked?