Как выбить исходный код у prestigio?

Каким образом получить исходный код прошивки и ядра psp5551duo? производитель упирается в "интеллектуальная собственность, мы не обязаны распространять" и бла-бла-бла, хотя по сути должен предоставить их в любом случае, так как ядро linux и всё что с ним связано относится к лицензии gnu gpl v2, если разобрать gpl в кратце по пунктам то:

3. требование предоставления исходного кода.
возможные варианты распространения исполнимого кода:
a) распространение вместе с исходным кодом.
b) распространение с гарантией предоставления исходного кода.
c) распространение вместе с такой гарантией, полученной от третьего лица. (для некоммерческого использования)