Hello there! I'm in possession of 12 different models of RK3228 TV Box devices. While I'm having varying degrees of success with current Armbian-community distributions (wi-fi compatibility is iffy, performance is very limited), as I troubleshoot I keep wondering about the same question: how can I accurately find out my correct led-config. Is it the board footprint? Is there documentation on this aspect?