- Update config files.
      Enabling CONFIG_DMAR (fate#306796), introduces these changes:
        +CONFIG_HAVE_INTEL_TXT=y
        -# CONFIG_DMAR is not set
        +CONFIG_DMAR=y
        +# CONFIG_DMAR_DEFAULT_ON is not set
        +CONFIG_DMAR_FLOPPY_WA=y
        +# CONFIG_INTEL_TXT is not set
      Done for x86_64 for now only.