Default Samsung released the new kernel sources for GT-N7100

File name is GT-N7100_SWA_JB_Opensource_Update1.zip
This is for MK4 update..