I am a big fan of Armbian software. I've got 4 SBC running their stuff.
Strangely, 1 of the 4 was able to update to 23.05, and the other three weren't able. I have confirmed that armbian-config is neither set to freeze, nor is the 23.05 showing up as an available kernel. Of course I have done the standard upgrade and update commands.
Also, strangely, on the 1 that was able to upgrade, I am no longer able to change kernel via armbian-config.
I look forward to the re-released 23.05 when the Armbian team has it ready.