Re: no ia64 kernel