Re: Static Linux kernel, anyone?