original_kernel/arch/x86/mach-rdc321x
..
Makefile
gpio.c
platform.c
wdt.c