Original GPL sources from Toshiba