Raspberry Pi firmware with Debian packaging. Contributions welcome