Factory kernel for Toshiba AC100 from Gitorious