Modified BoardConfig.mk to use correct defconfig

Change-Id: I52f1747b5dbd99360c2e3540b27a4af96e30f9b8