Raspberry Pi 4B and LibreELEC 10.0: Not so "great" after all ?