As CharliePrynn pointed out, superuser.com would be a better place for this question.
I actually found the solution there: https://superuser.com/questions/531874/disable-alt-f1-keyboard-shortcut-in-cinnamon:
gsettings set org.gnome.desktop.wm.keybindings panel-main-menu "[]"
plus logout & login