Correction: that should be 4.15.0-1070.73.
4.15.0-1053.57, which appears to be the oldest one in the archive, *does* have those files.
Correction: that should be 4.15.0-1070.73.
4.15.0-1053.57, which appears to be the oldest one in the archive, *does* have those files.