Description of problem:

The following happens when booting on x86_64:

general protection fault: 0000 [1] SMP 
CPU 0 
Modules linked in: sata_via libata sd_mod scsi_mod
Pid: 344, comm: insmod Not tainted 2.6.13-1.1547_FC5
RIP: 0010:[<ffffffff8034f464>] <ffffffff8034f464>{_spin_lock+4}
.....

The whole recorded trace is attached.

After this a machine continues booting and actually runs.  It seems that
the fault is actually caused by a debugging code.

I did not observe anything of that sort booting a similar kernel on i686.
A list of loaded modules (61 entries) looks quite normal.

Version-Release number of selected component (if applicable):
kernel-2.6.13-1.1547_FC5