Ubuntu kernel for Toshiba AC100