Kernel for Android on Toshiba AC100 (aka paz00)