added 2013-01-03 kernels for JB 4.2.x