Heh, you and me both.
I notice that Armbian now supports the RPI board, which they adamantly did NOT do in the past, since that was fully covered already, and focused on all the other boards instead.
If one is going to do this, note that they offer more than just the most obvious two links - there are "alternate" images (other download images) that may be more suited to the need, and also a "build framework" that the smart guys can dig into.
Who knows - could be an opportunity to more easily port PiCore to other boards using Armbian as the temporary host o/s for custom toolchains.
Heck, even dCore looks to be a good opportunity to possibly use / port from Armbian to get into ARM more easily...
Beyond me though, that's true DEV territory..