Kernel source for the Samsung Galaxy S Wifi/Player 4.2 (Hugo)