Re: [RFE] x86_64 kernel running in i386 distribution