Re: howto download i686 kernel on x86_64 box