Filed a bug on this: https://bugzilla.redhat.com/show_bug.cgi?id=487897 I know that rawhide kernels have a short life, but I think that it is a bug in the kernel? Regards, Antonio