kernel: change kernel version from 3.4 to 3.8

No other change was done apart from switching 3.4 to 3.8. It seems that
the configuration variables work as expected. It will need testing.