/kernel/arch/cris/configs/