BoardConfig: Use s3ve3g kernel defconfig