Hello, I have some Debian packging skill and thus could help you to get firmware-tools debian's package. Currently, I use a Fedora Core 8 Live CD to update BIOSes but it's really annoying. I'm sure we could have fully working debian packages in a few days. I hope I can help you. Best regards, Adam.