You have to ask them for the source first. If they refuse - then they violate GPL. That's how it works.
Also, Dingoo Tech's A380 is using linux kernel and userland applications, most of them GPL-ed, and I haven't heard of them releasing the source code of any of that programs.
So I guess such a practice is quite common in China.