[X86] Re: Problem with x86_32 spins for F27