qemu/arm-versatile: update to use kernel 3.8.8

The IRQ mapping failures have been fixed in 3.8.8 so update it to the
latest kernel series.

Signed-off-by: Gustavo Zacarias <gustavo@zacarias.com.ar>
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>