Treble already provides that stable ABI, since Android 8 Linux drivers are considered legacy on Android and all newer drivers must use Treble IPC for certification.
PS 4 uses an open source OS, how much have you seen of it?
Obviously this is a reason otherwise Fuchsia would have the same licence. However Google probably doesn't care that much about having an option to keep it closed source. Antagonism to the GPL comes mainly from Hardware vendors.
They cannot make anything of Fuchsia, which has been released under a permissive license retroactively open source. If Fuchsia replaces Linux on a large scale, they cannot take that away. What Google could do is having a closed source branch or release custom builds of Fuchsia, which have closed source in it. While there are certainly some szenarios which could be worrysome, it depends on the open source community on how much Google can get away with that. If only the open source parts are used, closed source version would just not have much meaning.
And of course, there would be some very legit reasons not to use GPL - like embedding ZFS into the kernel. Which would be no license issue for Fuchsia.
