Hi Mark,

> Hmm, I don't understand.  What do the 4.14.x headers have to do with
> 4.15, which is the version I'm suggesting to delete?

Oh, my mistake.

Indeed, we have linux-libre@4.14.122 which should match the linux-libre-headers
we have, even after deleting 4.15.