Sorry but by kernel you mean the firmware right? This one? RX-51_2009SE_20.2010.36-2_PR_COMBINED_MR0_ARM.bin