kernel-3.4.1 for F16?