a116: fix duplicate in BoardConfig.mk