WWJB kernel for the LG Optimus 4x HD