pspGetK0, Kernel_Library_FA835CDE with some thoughts