Back then I ordered an android TV box from China but it never arrived so I abandoned the idea. I also need a PIR in combination with a relay. However, I am pretty sure you can run ARMbian from SD card on those boxes. There are plenty of websites and Youtube videos out there. I am confident it works but who knows. I’ll gladly test it once I get my hands on a cheap box.