Kernel source for Sony 7x30 Devices