* update ps3 target kernel version to 2.6.25 * add default config for ps3 kernel...