Update Makefile.inc1 dtc comment
We use the BSDL dtc by default now (as long as we're using a C++11 compiler).