AROS obviously won't work for them from a licence point of view so a version of Linux, named Commodore OS, is not necessarily a bad idea, I think.
What's wrong with the AROS Public License? It's just an MIT license with a GPL-style copyback clause. Besides, Linux is full GPL which is even worse.
