Kernel.org: 4.20.10
sid (unstable): 4.19.20-1
buster (testing): 4.19.16-1
stretch (stable): 4.9.144-3
jessie (oldstable): 3.16.59-1

Debian GNU/Linux device driver check & report

ASUS: CROSSHAIR V FORMULA-Z

PCI IDWorks?VendorDeviceDriverKernel
10025a14Advanced Micro Devices, Inc. [AMD/ATI]RD890 PCI to PCI bridge (external gfx0 port B)
10025a16Advanced Micro Devices, Inc. [AMD/ATI]RD890 PCI to PCI bridge (PCI express gpp port B)
10025a18Advanced Micro Devices, Inc. [AMD/ATI]RD890 PCI to PCI bridge (PCI express gpp port D)
10025a19Advanced Micro Devices, Inc. [AMD/ATI]RD890 PCI to PCI bridge (PCI express gpp port E)
10025a1aAdvanced Micro Devices, Inc. [AMD/ATI]RD890 PCI to PCI bridge (PCI express gpp port F)
10025a1bAdvanced Micro Devices, Inc. [AMD/ATI]RD890 PCI to PCI bridge (PCI express gpp port G)
10025a1cAdvanced Micro Devices, Inc. [AMD/ATI]RD890 PCI to PCI bridge (PCI express gpp port H)
10025a1dAdvanced Micro Devices, Inc. [AMD/ATI]RD890 PCI to PCI bridge (external gfx1 port A)
10025a1fAdvanced Micro Devices, Inc. [AMD/ATI]RD890 PCI to PCI bridge (NB-SB link)
10025a1eAdvanced Micro Devices, Inc. [AMD/ATI]RD890 PCI to PCI bridge (external gfx1 port B)
10024391YesAdvanced Micro Devices, Inc. [AMD/ATI]SB7x0/SB8x0/SB9x0 SATA Controller [AHCI mode]ahciv2.6.25-
10024397Advanced Micro Devices, Inc. [AMD/ATI]SB7x0/SB8x0/SB9x0 USB OHCI0 Controller
10024396Advanced Micro Devices, Inc. [AMD/ATI]SB7x0/SB8x0/SB9x0 USB EHCI Controller
10024397Advanced Micro Devices, Inc. [AMD/ATI]SB7x0/SB8x0/SB9x0 USB OHCI0 Controller
10024396Advanced Micro Devices, Inc. [AMD/ATI]SB7x0/SB8x0/SB9x0 USB EHCI Controller
10024385YesAdvanced Micro Devices, Inc. [AMD/ATI]SBx00 SMBus Controlleri2c_piix4,sp5100_tcov2.6.25-
10024383YesAdvanced Micro Devices, Inc. [AMD/ATI]SBx00 Azalia (Intel HDA)snd_hda_intelv2.6.25-
1002439dAdvanced Micro Devices, Inc. [AMD/ATI]SB7x0/SB8x0/SB9x0 LPC host controller
10024384Advanced Micro Devices, Inc. [AMD/ATI]SBx00 PCI to PCI Bridge
10024399Advanced Micro Devices, Inc. [AMD/ATI]SB7x0/SB8x0/SB9x0 USB OHCI2 Controller
10024397Advanced Micro Devices, Inc. [AMD/ATI]SB7x0/SB8x0/SB9x0 USB OHCI0 Controller
10024396Advanced Micro Devices, Inc. [AMD/ATI]SB7x0/SB8x0/SB9x0 USB EHCI Controller
10221600Advanced Micro Devices, Inc. [AMD]Family 15h Processor Function 0
10221601Advanced Micro Devices, Inc. [AMD]Family 15h Processor Function 1
10221602YesAdvanced Micro Devices, Inc. [AMD]Family 15h Processor Function 2amd64_edac_modv3.16.0-
10221603YesAdvanced Micro Devices, Inc. [AMD]Family 15h Processor Function 3k10tempv3.0.0-
10221604YesAdvanced Micro Devices, Inc. [AMD]Family 15h Processor Function 4fam15h_powerv3.0.0-
10221605Advanced Micro Devices, Inc. [AMD]Family 15h Processor Function 5
10de100aNVIDIA CorporationGK110B [GeForce GTX 780 Ti]
10de0e1aNVIDIA CorporationGK110 HDMI Audio
1b210612YesASMedia Technology Inc.ASM1062 Serial ATA Controllerahci
8086150cYesIntel Corporation82583V Gigabit Network Connectione1000e
1b211042ASMedia Technology Inc.ASM1042 SuperSpeed USB Host Controller
1b211042ASMedia Technology Inc.ASM1042 SuperSpeed USB Host Controller
1b211042ASMedia Technology Inc.ASM1042 SuperSpeed USB Host Controller
1b210612YesASMedia Technology Inc.ASM1062 Serial ATA Controllerahci

Very weird.
The on..board sound given by 	SBx00 Azalia (Intel HDA) plays until you install flashplayer for iceweasel. then it stops. The HDMI port does not play at all. (2015-08-16T12:58:23+00:00)