Makefile/mkconfig: read simple board configurations from boards.cfg