bug#70324: After upgrade of linux-libre, linux-libre-documentation fails to build

[Rostislav Svoboda]

> linux-libre-documentation is broken again:

Try to repeat ./bootstrap and configure

See also https://issues.guix.gnu.org/issue/70140 and the commit
74517806f80dab17474a3c5f0b91d437e4d4e052

Cheers, Bost