Re: PITCH: Running the Fedora kernel tests