New x86 platform specific symbol needed for 3.1-rc3.