[17:30] <cjwatson> rstricklin: I've asked somebody who might be able to help with that
[17:35] <rstricklin> cool, thanks cjwatson
[17:36] <rstricklin> this is in conjunction with some supermicro bios updates in softlayer; as it turns out the update ALSO causes ESXi to crash, so there's something bigger going on
[17:36] <rstricklin> my need to get an answer is less urgent now, but it would still be good information to know
[17:47] <cjwatson> those installer images are normally updated routinely to track newer kernels; I suspect that the hwe kernels may have fallen out of that process somehow
[17:47] <cjwatson> it's a while since I was responsible for this but I would guess it's unintentional
[17:47] <cjwatson> this is all done by builds of the debian-installer source package
[18:08] <rstricklin> reading between the lines, then... we might expect (someday, on no particular schedule) the installer to include a newer 4.15 kernel than 4.15.0-29?
[18:09] <rstricklin> I guess I should say, the xenial installer particularly
[18:31] <cjwatson> It seems reasonably likely, unless there's some extremely weird blocker I don't know about
[19:02] <rstricklin> great, thanks