acrn-kernel/arch/score/configs
..
spct6600_defconfig