I cannot figure out why I'm having this default US keyboard layout besides my defined US altrgr-intl and cannot get rid of it.
See this screenshot: https://docs.google.com/open?id=0B5L61s7LfvFNTGVTZFRvN2pFUFE
[orschiro@thinkpad ~]$ cat /etc/vconsole.conf
[orschiro@thinkpad ~]$ cat /etc/X11/xorg.conf.d/20-keyboard.conf
Option "XkbLayout" "us"
Option "XkbVariant" "altgr-intl"
The keyboard layout is not managed by Cinnamon yet - the keyboard layout option in the menu that you are seeing on Mint, is still from Gnome3. Closing this issue.