original_kernel/arch/sh/boards/mach-rsk/Kconfig