ps3-kernel-3.15.10.tar.xz is safe to use with Debian Jessie