correct boardconfig.mk file