hitodama altered API from ps4KernelRun to ps4KernelRunMain as part of further …
…cleanup (and reuse of ps4KernelRun), minor cleanup
Latest commit 663a25a Apr 12, 2016