Raspberry PI 4 vs Android TV Box mit S905X3

Hallo zusammen,

ich hoffe ich trete jetzt keinen Streit los.

Aber ich wollte Fragen was die besser bzw Leistungsstärker Hardware- Softwarekombi für Kodi ist.
Am Anfang war ich total auf Android und eine TV Box mit S905X3 fixiert. Nun bin ich über den Raspberry Pi 4 gestolpert.

Was ich nutzen will:
- Kodi 19
- Zattoo PVR für Live TV (FullHD)
- FullHD und 4K Filme und Serien gestreamt von meinem NAS via LAN
- TV: Philipps 55OLED865 (HDR10+ und Dolby Vision)
- AVR Yamaha S605
- 5.1 Lautsprecher Dali Zensor 7, Vokal und 1

Welche Plattform wäre hier nun am Besten?

Ein Raspberry Pi 4B mit 4GB und 64GB SD Karte? (CoreELEC oder LibreELEC)

oder

Eine Android TV Box mit S905X3 mit 4GB und 64GB Flash? (Android 9)

Beste Grüße
Scheibes