testenv: upgrade to 3.8 kernel for VXLAN support