Comment 1 for bug 1819444

Afaict these libraries are not being distributed by raspbian per-se but by the raspberry pi foundation as part of the packages they build on top of raspbian. So this needs to be discussed with them, not with us.

Having said that I belive that the debian/copyright file you are linking may be out of date. The source code for those libraries was released some time ago under a 3-clause BSD license. https://github.com/raspberrypi/userland