This reverts commitgn-latest-20200428
b2fff3b5de. Fixes <https://bugs.gnu.org/40713>. Reported by pkill9 <email@example.com>. This commit is incorrect: its effect depends on whether KERNEL's build output is already available in the store, it breaks with non-package kernels as reported at <https://bugs.gnu.org/40713>, and the LINUX-MODULE-DATABASE hook is required at all times since
5c79f23863removed the relevant bits from the 'linux-libre' package.