coreboot

When booting Linux, I get the following errors on-screen and in dmesg:

[    0.348139] x86: Booting SMP configuration:
[    0.348140] .... node  #0, CPUs:        #1
[    0.041672] do_IRQ: 1.55 No irq handler for vector
[    0.350197]   #2
[    0.041672] do_IRQ: 2.55 No irq handler for vector
[    0.358167]   #3
[    0.041672] do_IRQ: 3.55 No irq handler for vector
[    0.360166]   #4
[    0.041672] do_IRQ: 4.55 No irq handler for vector
[    0.368167]   #5
[    0.041672] do_IRQ: 5.55 No irq handler for vector
[    0.370162]   #6
[    0.041672] do_IRQ: 6.55 No irq handler for vector
[    0.378164]   #7
[    0.041672] do_IRQ: 7.55 No irq handler for vector
[    0.380204] .... node  #1, CPUs:    #8
[    0.041672] do_IRQ: 8.55 No irq handler for vector
[    0.448173]   #9
[    0.041672] do_IRQ: 9.55 No irq handler for vector
[    0.450178]  #10
[    0.041672] do_IRQ: 10.55 No irq handler for vector
[    0.458172]  #11 #12 #13 #14 #15
[    0.480119] smp: Brought up 2 nodes, 16 CPUs
[    0.480119] smpboot: Max logical packages: 2

• They seem to always have the same timestamps mentioned in do_IRQ (1.55, 2.55, 3.55, etc)
• I'm not sure what the error means or if it causes any problems
• I have two Opteron 4368s
• I attached a full dmesg