(PSP) Add HAVE_KERNEL_PRX ifdef