noob404 i think i've chosen the right version as his repo only has 4 branches and only one says its baikal the other two are the original unmodified linux kernel and then theres the main branch which i assume to be for Belize.
heres the branch i cloned codedwrench/ps4-linux
the reason why i decided to compile my own kernel is because i wanted to have virtualization with QEMU/KVM on arch linux ps4 using virt-manager.