Add PS4 port.

Thanks to Eddie Edwards.
Merge branch 'master' into v2.1
Fix for -jdump docs.
Merge branch 'master' into v2.1
Fix recording of BC_VARG.
Fix frame depth display for bytecode dump in -jdump.
Merge branch 'master' into v2.1