Debian läuft jetzt auch auf dem Raspberry Pi ohne Probleme:
https://wiki.debian.org/RaspberryPi
Es ist mir neulich gelungen, Debian Buster auf dem Pi 3 zu installieren und von Kernel 4.14 auf Kernel 4.15 zu aktualisieren.
An einer freien Alternative zu bootcode.bin wird auch schon gearbeitet:
https://github.com/christinaa/rpi-open-firmware
Wer Debian mag, sollte sich das mal ansehen.