OK; this is fixed now.
But this means that my Linux-libre repo has been slightly broken since 4.14 came out back in November. I wonder why no one ever reported this to me directly? Out of happenstance I happened to find a reference in a thread here, but surely GrevenGull isn't the only person to run into this. Makes me wonder no one ever said anything to me. Anyway, it is fixed.
