You could always use 5.1 AAC prior but........
The PS3 now accepts MP4's w/5.1 AC3 audio. When they implemented it exactly, I don't know. It was quite a while ago...but I think SONY has still neglected to update on this
web page I can stream MP4's with 5.1 Dolby Digital no problems.