Kernel for Samsung Galaxy S Wi-Fi 4.2