For other with the same issue:
I implemented my own "class ScrollTextView extends TextView" which implements a custom, character based marquee which looks nice and performs a lot better. (remove 1 char at the beginning every 333 ms with a small pause at the start. Then repeat.).
If the app is not deployed on the device with the horrfic graphics driver, it simply activates the TextView's marquee.
strange, unexpected problem solved :-)