BoardConfig: Change defconfig name