ps4 kexec-style code