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.