linux/arch/openrisc/configs/