Installation of kernel headers