original_kernel/arch/ppc/boot/lib
..
Makefile
div64.S
kbd.c
vreset.c