update-linux-headers: handle new header file