original_kernel/arch/ppc/boot/simple/rw4
..
ppc_40x.h
rw4_init.S
rw4_init_brd.S
stb.h