Re: 5.1 kernel and 32 bit executables?