So I think we have three options here:
(1) His H.264 decoder is parsing the stream in the wrong way (rbsp_alignemnt_zero_bit can
not be non-zero, see link above)
(2) x264 creates invalid bitstream, which I think is unlikely - but you never know
(3) His TS muxer somehow screwed up the stream or at least produced something his decoder/demuxer doesn't handle right