Linux Mint preparation

At time of writing, Linux Mint 20.1 appears to have overcome a lot of the previous problematic drivers and can almost be used unchanged. It is however, 64-bit and requires the addition of 32-bit UEFI files, both for booting and for installation. Once again, isorespin comes to the rescue and I've provided a basic 'Linuxium' version in the ISO section.

In Windows.. (best to do this on a laptop/PC other than the TCM, for speed.)