Kernel Source for HP Slate 7 models