OpenELEC is the Kodi distro of choice for lightweight hardware. Last time I looked they don't support ARM hardware though.
But the Raspberry Pis are ARM. They aren't Android boxes but they are an alternative. I think the original Pi was ARM v6 and the just released RPi 2 is ARM v7.