Ich meine, hier im Forum eine Andeutung dazu gelesen zu haben. Und diese Info auf libreelec.tv ließ verwunderte mich auch:
Stable-Beta for Allwinner and Rockchip. Stable “Alpha” for Raspberry Pi 4 as the code is still very new. RPi 2/3 are still in development targetting an LE10.2 release. RPi 0/1 are discontinued.
Zum Hifiberry: nun es ist der DAC+ pro
HiFiBerry DAC+ Pro - High End Soundkarte für Raspberry: Amazon.de: Computer & Zubehör [Anzeige]
auf der Hifiberry-Seite ist er tatsächlich nur noch zu finden, wenn man (auf deinem Screenshot) auf "Analog" (nicht auf eines der Produkte) klickt, dann taucht er an 3. Stelle auf. Klickt man weiter, erscheinen aber die Details zum DAC+ Pro XLR...
lt. Amazon-Rezensionen passt das Teil auch auf RPi4.