Yes, I realize that I can change the boot.ini file, however that requires pulling the micro SD card and editing the file on another system.
What I would like to do is have a menu that selects from multiple boot files.
Or copies (overwrites) a source file over the boot.ini. In this scenario I would have a boot.ini.odroid and boot.ini.tinycore. On selection, the selected file would be copied over boot.ini.