uml: switch to 3.8 kernel