BoardConfig: Change defconfig name to senny_defconfig