I downloaded kernel 4.18 and it seems to be working. (I must have looked crazy
opening and closing my laptop lid over and over again :) )
Thank you so much for your help