Update linux kernel headers