Precompiled kernels for Jornada 7xx

1
2
3
4 <-- try this one