Fix Makefile to use $(MKCONFIG) macro for all board ports