TEXT config-6.12.71.ia32
  TEXT config-6.12.71.x64