how to update kernel image on panda board?