SDK script updates

Pull assorted SDK script updates from Chromium OS, the most important is the /dev/pts fix.