Preparing for kernel 3.8.x in F-17