Thanks for this, i want to add a note on this note :
In fact, coreelec handle this already, we just need to press reset button while pluging the box, to get out of the "coreelec" mode, and then we can shut down, set another sd card, do again a reset / plug and voilà it will start on the armbian sd card