MOVED: Booting Linux mint

This topic has been moved to “Linux support” as it’s most appropriate there.

http://linuxforums.org.uk/index.php?topic=14140.0