Kernel for the US Wifi Varient Galaxy Note 10.1