[X86] Problem with x86_32 spins for F27