Kernel for Android on Toshiba AC100 (aka paz00) based on nvidia rel15-r7 downstream kernel