Actually, it appears that firmware needs to be kernel specific. Of course, anyone correct me if I am wrong. In this case, I will make firmware packages with the prefix firmware-* for dCore, and ignore the Debian ones. The Debian ones may work, but we will use the Tinycore ones to be sure. I will get to this soon.