BoardConfig.mk: rename defconfig