Or rather, it is an issue with Debian; and all they need to do to fix it is update the firmware package; not sure what's preventing them from adding new firmwares at least.

Been reported before as well: https://bugs.debian.org/cgi-bin/pkgreport.cgi?pkg=firmware-a...

No idea why this made it to the frontpage though.