Kernel for running Linux on the Shield Tablet