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. 
Download: ps4_kernel_fixup.py / ps4_kernel_fixup_script-master.zip / GIT
From the README.md, to quote: PS4 Kernel Fixup Script
SocraticBliss(R)
WIP - Currently does the following...

Download: ps4_kernel_fixup.py / ps4_kernel_fixup_script-master.zip / GIT
From the README.md, to quote: PS4 Kernel Fixup Script
SocraticBliss(R)
WIP - Currently does the following...
- Offset Fixup
- Automatic Structure Creation
- ChendoChap
- Pablo (kozarovv)
- Specter
- Load an early PS4 Kernel (with symbols) as an ELF64.
- Run the ps4_kernel_fixup.py script