Settings for choosing discovery kit or default hw in Makefile