It is a bare Linux Mint 15 Mate, 64bit running on a Lenovo Y510P.
I tried different cables and it is always the same. It needs up to 30s until the port can be opened from picocom or bossac after opening and closing with 1200baud. It is weird because the port is available instantly, but can not be opened.