If there is no mention on the forum, then its probably that no one has had a problem/doesn't use them. If I was you I would simply try it, install serviio add the files and try to play them. Serviio will support transcoding from pretty much anything provided ffmpeg can read it.
If they don't work (it is quite likely that serviio won't try to transcode them) then
http://wiki.serviio.org/doku.php?id=file_np and we can setup a working profile for them. You could also try the Direct TV profile that transcodes almost everything, although it is always nicer to transcode only the videos that really need it.
Edit, looking at a profile we can select to transcode based on the profile and level, so far I've only seen profile main and high, so would need zip to confirm if we could use 'high 10' in the profile field.
- Code:
<Video targetContainer="mpegts" targetVCodec="mpeg2video" targetACodec="ac3" aBitrate="192">
<Matches container="matroska" vCodec="h264" profile="high" levelGreaterThan="4.1" />
</Video>