linux/arch/openrisc/kernel/