ef40s_kernel_4.2_MPDEC