source "arch/arm/mach-ixp23xx/Kconfig"
  
+ source "arch/arm/mach-kirkwood/Kconfig"
+ 
+ source "arch/arm/mach-ks8695/Kconfig"
+ 
+ source "arch/arm/mach-lh7a40x/Kconfig"
+ 
  source "arch/arm/mach-loki/Kconfig"
  
+ source "arch/arm/mach-msm/Kconfig"
+ 
  source "arch/arm/mach-mv78xx0/Kconfig"
  
- source "arch/arm/mach-pxa/Kconfig"
- source "arch/arm/plat-pxa/Kconfig"
+ source "arch/arm/plat-mxc/Kconfig"
  
- source "arch/arm/mach-mmp/Kconfig"
+ source "arch/arm/mach-netx/Kconfig"
  
- source "arch/arm/mach-nuc93x/Kconfig"
+ source "arch/arm/mach-nomadik/Kconfig"
+ source "arch/arm/plat-nomadik/Kconfig"
  
- source "arch/arm/mach-sa1100/Kconfig"
+ source "arch/arm/mach-ns9xxx/Kconfig"
+ 
++source "arch/arm/mach-nuc93x/Kconfig"
 +
  source "arch/arm/plat-omap/Kconfig"
  
  source "arch/arm/mach-omap1/Kconfig"
 
  machine-$(CONFIG_ARCH_U8500)          := ux500
  machine-$(CONFIG_ARCH_VERSATILE)      := versatile
  machine-$(CONFIG_ARCH_W90X900)                := w90x900
 +machine-$(CONFIG_ARCH_NUC93X)         := nuc93x
  machine-$(CONFIG_FOOTBRIDGE)          := footbridge
- machine-$(CONFIG_ARCH_MXC91231)               := mxc91231
  
  # Platform directory name.  This list is sorted alphanumerically
  # by CONFIG_* macro name.
 
   * published by the Free Software Foundation.
   *
   */
-       .macro  addruart,rx
 +#include <mach/hardware.h>
 +
+       .macro  addruart, rx, tmp
        mrc     p15, 0, \rx, c1, c0
 -      tst     \rx, #1                 @MMU enabled?
 -      moveq   \rx, #0x80000000        @MMU off, Physical address
 -      movne   \rx, #0xF0000000        @MMU on, Virtual address
 -      orr     \rx, \rx, #0x7000
 +      tst     \rx, #1                                 @ MMU enabled?
 +      ldreq   \rx, =U8500_UART2_BASE                  @ no, physical address
 +      ldrne   \rx, =IO_ADDRESS(U8500_UART2_BASE)      @ yes, virtual address
        .endm
  
  #include <asm/hardware/debug-pl01x.S>