Fix installation of linux kernel headers in kernel/linux