I still haven't converted my Libre Computer board (Le Potato) over from Armbian to Tinycore yet.
Just mentioning it, because unlike the RPI's being hard to find, or price-gouged online, the Libre Computer S905X-CC is still about the same price I paid online years ago and available.
Just a thought for the intrepid TC pioneers still waiting for supply chain issues to resolve with RPI's, who might something to hack on.