How to upgrade Linux kernel 3.10ltsi into SD card (v3.9 existed)?

Hi.
I have the same problem with Terasic´s DE1-SoC board. I want to update the original image given by Terasic replacing kernel and filesystem. I created the topic Trying to run Angstrom on DE1-SoC.

If you find a solution to your problem please, let me know.