Comment 22 for bug 415353

Hm, weird. I believe the interesting part of the above dmesg is this:

...
[ 14.824188] calling libcrc32c_mod_init+0x0/0x2c [libcrc32c] @ 804
[ 14.831660] calling init_ipmi_si+0x0/0x290 [ipmi_si] @ 1190
[ 14.831689] IPMI System Interface driver.
[ 14.831694] ipmi_si: Trying SMBIOS-specified kcs state machine at i/o address 0xca2, slave address 0x20, irq 0
...
[ 44.811059] bnx2x: gave up waiting for init of module libcrc32c.
[ 44.811064] bnx2x: Unknown symbol crc32c
[ 74.734389] bnx2x: gave up waiting for init of module libcrc32c.
[ 74.734393] bnx2x: Unknown symbol crc32c
[ 104.659566] bnx2x: gave up waiting for init of module libcrc32c.
[ 104.659571] bnx2x: Unknown symbol crc32c
[ 104.660725] calling crc32c_mod_init+0x0/0x12 [crc32c] @ 1295
[ 104.660881] initcall crc32c_mod_init+0x0/0x12 [crc32c] returned 0 after 145 usecs
[ 104.666435] calling ipsec_pfkey_init+0x0/0x85 [af_key] @ 1696
[ 104.666439] NET: Registered protocol family 15
[ 104.666454] initcall ipsec_pfkey_init+0x0/0x85 [af_key] returned 0 after 12 usecs
[ 104.667996] initcall libcrc32c_mod_init+0x0/0x2c [libcrc32c] returned 0 after 87957379 usecs
[ 104.672636] calling bnx2x_init+0x0/0x98 [bnx2x] @ 804
[ 104.672639] Broadcom NetXtreme II 5771x 10Gigabit Ethernet Driver bnx2x 1.52.1 (2009/08/12)
[ 104.672900] alloc irq_desc for 28 on node -1
...

This seems strange as ipmi seems to have successfully loaded libcrc32c *before* bnx2x fail three times with 30s timout between trials. And then finally it gets the library loaded.