Changed bus and device identifiers from int to char* when selecting the debug board.