virtualboxes.org
Linux Mint 14 Cinnamon DE is here.
You can download here.