BoardConfig: we're just using one defconfig now

Change-Id: I529325e87794263044d4cfd743becce1343c85fa