@freemangordon
Just completed the test.
Standard "dsp" profile is working perfectly with video recording at the bigger resolution.

The "DSPMMU FAULT" appears as soon you enable the "850:60,600" profile.
(so anyone using a frequency bigger than 805 should reduce the maximum freq...)

In my opinion, the difference of voltage calculated for profile 805 and profile 850 is too small (also considering the speed of dsp 520-600)

Locking to 805:520:
cat /sys/power/vdd1_opp /sys/power/sr_vdd1_voltage
7
50

Locking to 850:600:
cat /sys/power/vdd1_opp /sys/power/sr_vdd1_voltage
8
52

Setting:
echo 250 > /sys/power/sr_vdd1_dsp_boost

The crash is delayed of some second but appears every time.
And:
cat /sys/power/vdd1_opp /sys/power/sr_vdd1_voltage
8
52

remains unchanged

So the only solution at this moment is to limit at 805:520.