I don't know the boot process on a PS4, but if loading Linux requires you to modify or bypass any access controls, then it may be a circumvention violation of the DMCA.
If loading an alternate OS is a EULA violation, they might brick users machines or at least stop them from using Sony services.
But that's something the user is doing. This repo has the Linux distro, which is by itself neither a circumvention, gives instructions to circumvent, or performs a circumvention of the DRM to run, thereby passing DMCA muster.
It's somewhat similar to the situation XBMC was in back when the X still stood for Xbox -- the code itself is OK by the DMCA, but compiling it required use of unauthorized dev tools (if the user didn't have a license from MS, which they likely did not), distributing the binaries was a violation of the DMCA (due to statically linked, non-free MS libraries), and installation of said binaries was also a DMCA violation (as it required the user to circumvent the DRM on the console).
If loading an alternate OS is a EULA violation, they might brick users machines or at least stop them from using Sony services.