kernel-generic-3.17_rc3 binary