machine-$(CONFIG_ARCH_IXP23XX)    := ixp23xx
   machine-$(CONFIG_ARCH_OMAP1)    := omap1
   machine-$(CONFIG_ARCH_OMAP2)    := omap2
 + machine-$(CONFIG_ARCH_OMAP3)    := omap2
      plat-$(CONFIG_ARCH_OMAP)     := omap
   machine-$(CONFIG_ARCH_S3C2410)          := s3c2410 s3c2400 s3c2412 s3c2440 s3c2442 s3c2443
-     plat-$(CONFIG_PLAT_S3C24XX)          := s3c24xx
+     plat-$(CONFIG_PLAT_S3C24XX)          := s3c24xx s3c
   machine-$(CONFIG_ARCH_LH7A40X)          := lh7a40x
   machine-$(CONFIG_ARCH_VERSATILE)  := versatile
   machine-$(CONFIG_ARCH_IMX)      := imx
 
  #include <asm/mach/map.h>
  
  #include <mach/hardware.h>
 -#include <asm/io.h>
  
- #include <asm/plat-s3c/regs-serial.h>
+ #include <plat/regs-serial.h>
  #include <mach/regs-clock.h>
  #include <mach/regs-gpio.h>
  
 
  #include <mach/regs-gpio.h>
  
  #include <mach/hardware.h>
 -#include <asm/io.h>
  #include <asm/irq.h>
  
- #include <asm/plat-s3c24xx/devs.h>
+ #include <plat/devs.h>
  #include "usb-simtec.h"
  
  /* control power and monitor over-current events on various Simtec
 
  #include <asm/mach/map.h>
  
  #include <mach/hardware.h>
 -#include <asm/io.h>
  
- #include <asm/plat-s3c/regs-serial.h>
+ #include <plat/regs-serial.h>
  #include <mach/regs-clock.h>
  #include <mach/regs-gpio.h>
  
 
  
  #include <asm/dma.h>
  #include <mach/dma.h>
 -#include <asm/io.h>
  
- #include <asm/plat-s3c24xx/dma.h>
- #include <asm/plat-s3c24xx/cpu.h>
+ #include <plat/dma.h>
+ #include <plat/cpu.h>
  
- #include <asm/plat-s3c/regs-serial.h>
+ #include <plat/regs-serial.h>
  #include <mach/regs-gpio.h>
  #include <asm/plat-s3c/regs-ac97.h>
  #include <mach/regs-mem.h>
 
  #include <asm/mach/irq.h>
  
  #include <mach/hardware.h>
 -#include <asm/io.h>
  #include <asm/irq.h>
  
- #include <asm/plat-s3c24xx/s3c2440.h>
- #include <asm/plat-s3c24xx/devs.h>
- #include <asm/plat-s3c24xx/cpu.h>
+ #include <plat/s3c2440.h>
+ #include <plat/devs.h>
+ #include <plat/cpu.h>
  
  static struct sys_device s3c2440_sysdev = {
        .cls            = &s3c2440_sysclass,
 
  
  #include <asm/dma.h>
  #include <mach/dma.h>
 -#include <asm/io.h>
  
- #include <asm/plat-s3c24xx/dma.h>
- #include <asm/plat-s3c24xx/cpu.h>
+ #include <plat/dma.h>
+ #include <plat/cpu.h>
  
- #include <asm/plat-s3c/regs-serial.h>
+ #include <plat/regs-serial.h>
  #include <mach/regs-gpio.h>
  #include <asm/plat-s3c/regs-ac97.h>
  #include <mach/regs-mem.h>
 
  #include <linux/amba/clcd.h>
  #include <linux/clocksource.h>
  #include <linux/clockchips.h>
 +#include <linux/io.h>
+ #include <linux/cnt32_to_63.h>
  
- #include <asm/cnt32_to_63.h>
  #include <asm/system.h>
  #include <mach/hardware.h>
 -#include <asm/io.h>
  #include <asm/irq.h>
  #include <asm/leds.h>
  #include <asm/hardware/arm_timer.h>
 
  #include <asm/mach/irq.h>
  #include <mach/fb.h>
  #include <mach/hardware.h>
 -#include <asm/io.h>
  #include <asm/irq.h>
  
- #include <asm/plat-s3c/regs-serial.h>
+ #include <plat/regs-serial.h>
  #include <asm/plat-s3c24xx/udc.h>
  
- #include <asm/plat-s3c24xx/devs.h>
- #include <asm/plat-s3c24xx/cpu.h>
+ #include <plat/devs.h>
+ #include <plat/cpu.h>
  #include <asm/plat-s3c24xx/regs-spi.h>
  
  /* Serial port registrations */
 
  
  #include <asm/cacheflush.h>
  #include <mach/hardware.h>
 -#include <asm/io.h>
  
- #include <asm/plat-s3c/regs-serial.h>
+ #include <plat/regs-serial.h>
  #include <mach/regs-clock.h>
  #include <mach/regs-gpio.h>
  #include <mach/regs-mem.h>
 
  #include <asm/leds.h>
  #include <asm/mach-types.h>
  
 -#include <asm/io.h>
  #include <asm/irq.h>
  #include <mach/map.h>
- #include <asm/plat-s3c/regs-timer.h>
+ #include <plat/regs-timer.h>
  #include <mach/regs-irq.h>
  #include <asm/mach/time.h>