include the newer kernel headers

fix for #401