a239bcb015
This extends the 'Advanced build system tricks' section with a make script to select the board debugger and serial based on the USB serial number as reported by the device. This solution is different from the udev-rule solution as it doesn't require administrative permissions.