sudsy Thanks for the input! Yeah one of the problems with current PS4 Linux kernels is that they use a set of predefined display modes that are generally supported on PS4s (usually it's just 1080p@60Hz that's allowed).
We don't probe the monitors for their specifics and compatibilities before outputting this image, as we don't use the EDID information from the HDMI (no one has found a way yet through the kernel).
ps4boot/ps4gentoo on Github (mircoho) has made their exploit page properly copy the display EDID from PS4's Orbis OS, and available for Linux, but you need to use a modified initramfs that makes use of it. mircoho's initramfs does that, but I think it's still a WIP? and unreleased (though it's easy enough to modify the initramfs).
That is a good fix for this issue, I think especially for differing refresh rates, but I think you still need a kernel with some changes to prevent a blackscreen (as opposed to the "No signal") later on. Some testing will elucidate the matter.
You may try the mentioned setup in case you're trying to fix the display on your monitor.