Re: Problems with F7 kernels