Separate out SOC specific configuration based on platform architecture

Makefile

@@ -95,7 +95,7 @@ $(addprefix $(DEST)/, $(MAIN_TARGET)): $(DEST)/% :
 
 	# Optionally add/remove kernel options
 	if [ -f ../manage-config ]; then
-		../manage-config $(CONFIGURED_ARCH)
+		../manage-config $(CONFIGURED_ARCH) $(CONFIGURED_PLATFORM)
 	fi
 
 	# Building a custom kernel from Debian kernel source

manage-config

@@ -25,9 +25,13 @@
 
 # Configuration file to change
 ARCH=amd64
-if [ $# = 1 ]; then
+PLATFORM=
+if [ $# -ge 1 ]; then
     ARCH=$1
 fi
+if [ $# -ge 2 ]; then
+    PLATFORM=$2
+fi
 case "$ARCH" in
     amd64)
         CONFIG_FILE_LOC=debian/build/build_amd64_none_amd64
@@ -61,7 +65,7 @@ if [ -e ${exclusion_file} -o -e ${inclusion_file} ]; then
 
     # Process any exclusions in the kernel
     if [ -f ${exclusion_file} ]; then
-        exclusion_opts=$(get_section_opts ${exclusion_file} "common" ${ARCH})
+        exclusion_opts=$(get_section_opts ${exclusion_file} "common" ${ARCH} ${PLATFORM})
         while read -r opt; do
             if [ ! -z "$opt" ] && [[ ! "$opt" =~ ^#.* ]]; then
                 scripts/config --file ${CONFIG_FILE} -d $opt
@@ -71,7 +75,7 @@ if [ -e ${exclusion_file} -o -e ${inclusion_file} ]; then
 
     # Process any inclusions in the kernel
     if [ -f ${inclusion_file} ]; then
-        inclusion_opts=$(get_section_opts ${inclusion_file} "common" ${ARCH})
+        inclusion_opts=$(get_section_opts ${inclusion_file} "common" ${ARCH} ${PLATFORM})
         while read -r opt; do
             if [ ! -z "$opt" ] && [[ ! "$opt" =~ ^#.* ]]; then
                 echo $opt >> ${CONFIG_FILE}

patch/kconfig-exclusions

@@ -10,3 +10,6 @@ CONFIG_MLXSW_PCI
 [arm64]
 
 [armhf]
+
+[marvell-armhf]
+

patch/kconfig-inclusions

@@ -59,4 +59,5 @@ CONFIG_MAX1363=m
 
 [armhf]
 
+[marvell-armhf]