Make sure kernel headers are installed