Linux Mint is a community-developed Linux distribution. It is based on Ubuntu and designed for x86-64 based computers; another variant is based on Debian which is named Linux Mint Debian Edition and has both 64-bit and IA-32 support. From Wikipedia
A recent security patch meant to fix a vulnerability has inadvertently caused boot issues for users running both Windows and Linux.
