(operating-system
...
  (kernel-arguments (cons* "options snd-intel-dspcfg dsp_driver=1"
                      %default-kernel-arguments))
...)