If I thought there was a good chance of having the work upstreamed so that a mainline Linux kernel would eventually work on these computers, maybe. In my experience, there are not many ARM SoCs that have mainline support, even some of the Raspberry Pi boards don't, and they're some of the most popular ARM SoCs used for Linux. A lot of these projects get to the stage where a forked kernel will run on the SoC, but then…
All that horrible forked kernel stuff is the realm of companies with closed development teams who don't care and just want a product out the door.
The PS4 Linux stuff I did was not upstreamed for lack of time/interest, but I absolutely considered it being decent enough to upstream when writing it. PS3 Linux running under GameOS mode patches were indeed upstreamed (though there was a bit of a lawsuit along the way so all of my code ended up attributed to a friend instead since I was keeping a lower profile at the time...).