Okay scheinst Recht zu haben. Die SX88 Teile hatten Linux BS aber halt nicht E2. Die haben wohl bei der 4K Variante, wegen des besseren Verkaufes, nachgebessert.
Aber nur die v2 kann Dualboot! Die v1 hat nur Define und kein 4k.
Die beste HiSi-Box (P/L) ist Zgemma H11 (hat 16 statt 8 GB Nand)
Du sparst an der falschen Ecke! Ein USB-IR-Dongle bekommt man für 5€.