A-Eon/AmigaKit needs marketing names for new Amiga like computers since they may lose the sub-licensed right to use "AmigaOne". It will be interesting marketing them without "AmigaOS"
How would they lose such rights?
Neither Hyperion nor Amiga Corp. have signalled anything like that AFAIK.
Sticking to the facts rather than endless speculations, one could note how AEONKit have been engaging in trademark and domain grabbing behaviors for years.