BoardConfig: Fix defconfig name