Comment # 6 on bug 1047989 from Takashi Iwai

The hwinfo doesn't show any relevant devices, so something must be wrong in
your setup.  The likely corresponding PCI entry is 0000:00:1f.3, but it's
missing.
Check your BIOS setup again.  It's no OS problem, at least.