F26 and kernel-4.13