bug#72794: Bad kernel config

[Jorge Acereda]

Hi,

I noticed this looking at the linux.scm file:

    ,@(if (version>=? version "5.13")
          '(("BPF_UNPRIV_DEFAULT_OFF" . #t))
          '())


Shouldn't that be "CONFIG_BPF_UNPRIV_DEFAULT_OFF" instead?

Regards,
  Jorge Acereda