fix kernel for 14.04