Hi all Does anyone know where I could get the config files of the pre-compiled kernels found in Potato ? thx.