The Portal Player targets in general have something being done wrong with cache handling where flushing both caches results in both cores having the same but wrong data and the reason doesn't seem to be obvious. Trust me, it keeps me up at night a little. :) It blows up at mpeg2_init() as far as I've been able to determine.