Kind of highjacking the thread, but are there any SBC that support 4K HDR under Linux? I bought a OrangePi PC2 as the hardware does, but it only works at that resolution under Android.