As far as I know, the 8x0 driver may be used for other chipsets too. I
might be saying BS here, but I seem to remember a Via chipset being
supported by the Intel driver. So maybe the bug is in that particular
driver.

If the owners of AMD-based machines could give us an lsmod of their
system, we could see what we have in common?

That's mine:
Module                  Size  Used by
rfcomm                 42260  0
l2cap                  27136  5 rfcomm
bluetooth              53476  4 rfcomm,l2cap
nfsd                  234276  13
exportfs                7296  1 nfsd
lockd                  67848  2 nfsd
sunrpc                165948  8 nfsd,lockd
i915                   21632  2
drm                    74644  3 i915
ipv6                  272288  31
speedstep_lib           5764  0
cpufreq_userspace       5408  0
cpufreq_stats           7744  0
freq_table              6048  1 cpufreq_stats
cpufreq_powersave       2944  0
cpufreq_ondemand        8876  0
cpufreq_conservative     8712  0
video                  17540  0
tc1100_wmi              8324  0
sbs                    16804  0
sony_acpi               6412  0
pcc_acpi               14080  0
i2c_ec                  6272  1 sbs
i2c_core               23424  1 i2c_ec
hotkey                 11556  0
dev_acpi               12292  0
button                  7952  0
battery                11652  0
container               5632  0
ac                      6788  0
asus_acpi              17688  0
reiserfs              263936  2
dm_mod                 62872  11
md_mod                 82836  0
fuse                   43912  0
lp                     12964  0
tsdev                   9152  0
snd_intel8x0           34844  3
snd_ac97_codec         97696  1 snd_intel8x0
snd_ac97_bus            3456  1 snd_ac97_codec
usbhid                 45152  0
snd_pcm_oss            47360  0
snd_mixer_oss          19584  2 snd_pcm_oss
e100                   38020  0
mii                     6912  1 e100
snd_pcm                84612  3 snd_intel8x0,snd_ac97_codec,snd_pcm_oss
snd_timer              25348  1 snd_pcm
snd                    58372  10
snd_intel8x0,snd_ac97_codec,snd_pcm_oss,snd_mixer_oss,snd_pcm,snd_timer
soundcore              11232  2 snd
snd_page_alloc         11400  2 snd_intel8x0,snd_pcm
intel_agp              26012  1
agpgart                34888  3 drm,intel_agp
parport_pc             37796  1
parport                39496  2 lp,parport_pc
evdev                  11392  1
pcspkr                  4352  0
psmouse                41352  0
serio_raw               8452  0
shpchp                 42144  0
pci_hotplug            32828  1 shpchp
ext3                  142728  1
jbd                    62228  1 ext3
ehci_hcd               34696  0
uhci_hcd               24968  0
usbcore               134912  4 usbhid,ehci_hcd,uhci_hcd
ide_generic             2432  0
ide_cd                 33696  0
cdrom                  38944  1 ide_cd
ide_disk               18560  5
piix                   11780  1
generic                 5764  0
thermal                15624  1
processor              31560  1 thermal
fan                     6020  1
fbcon                  41504  0
tileblit                3840  1 fbcon
font                    9344  1 fbcon
bitblit                 7168  1 fbcon
softcursor              3328  1 bitblit
vesafb                  9244  0
capability              5896  0
commoncap               8704  1 capability