Following the 5.55 kernel dump string by PS4 developer MathieuLH today, PS4 developer Fire30_ has release a 6.20 kernel dump string. This is enough proof to say that he has a decrypted kernel of the 6.20 firmware
"r109816/release_branches/release_06.200 Nov 2 2018 05:41:33"
But do't be too...