Use the flo/deb kernel directory