New kernel i386 in an amd64