Following his PS4 Kernel Loaders and PS4 Name 2 NID Plugin, PlayStation 4 scene dev @SocraticBliss (Twitter) made available a PS4 Kernel Fixup Python Script (ps4_kernel_fixup.py) he's currently working on for use with the Interactive Disassembler IDA 7.0-7.2 for developers with details below. š...