Ah.. "st/mesa,gallium: add a workaround for Unigine Heaven 4.0 and Valley 1.0"
is also included in mesa-10.3. So both Heaven 4.0 and Valley 1.0 should just
work. The question is why ARB_sample_shading is causing GPU lockup on VERDE.
Should I open a separate bug for this issue?