RE: [PATCH 02/24] arm: Remove configs/BSC9131RDB_NAND_SYSCLK100_defconfig board