Obávám se, že na ARMech je proces startování poněkud odlišný od PC. Žádný standardní BIOS neexistuje, každý výrobce si rozjezd řeší po svém. Žádný nástroj podobný GRUBu tedy očekávat nelze, tady bohužel nejsou zkušenosti z PC světa moc použitelné.
GRUB na ARMu sice není, ale existuje RedBoot a uBoot - dva běžné boot loadery pro ARM svět. Pokud některý výrobce bootloader nepoužívá tak je prase. Jak RedBoot tak uBoot obvykle umožňují změnit před bootem kernelu jeho command line parametry.
Odroid používá Das U-boot. Měnit parametry jádra není problém, problém je spíše, že to není PC, takže tam žádný VESA textový režim, tedy ani žádný modeset a nejspíš ani žádný APIC.