Ubuntu kernel for Tosiba AC100