original_kernel/arch/openrisc/boot/Makefile