According to
http://stackoverflow.com/a/2526487/172068 the HTTP header will overrule any @charset setting anyway and we explicitly set the charset to UTF-8 in lib/exe/css.php. So there's no reason to use @charset at all.
However it would probably still be a good idea to strip it in the css compressor.