TSLIB is an optional library
Use correct path to 'strip' binary
Use python helper script for make_devices

Doing all the separate fork/execs via bash for mknod/chown was terribly
slow, doing it all as a single python script is about 10 times faster