Custom kernel for Nvidia Shield Tablet