fixed missing line in boardconfig.mk