[pabs3]

I wish some more of this firmware was open source with reproducible builds, built using a toolchain that is also open source with reproducible builds.

https://wiki.debian.org/Firmware/Open