* update ps3 target kernel config