Reference Kernel for Sony 4.1.2 based kernel sources