- Update config files.
      * Enable CONFIG_KDB for x86-64 debug kernel
    - patches.suse/kdb-x86_64: KDB support for x86-64.
    - patches.suse/x86_64-smp-kdb-stop: Implement smp_kdb_stop in
      the proper way.
    - patches.suse/x86_64-kdebug-events: Add KDEBUG events needed
      for KDB.
    - patches.xen/xen3-auto-arch-x86_64.diff: Rediff