Makefile: remove generated boards.cfg within make distclean