[PATCH] bcm43xx: workaround init_board vs. IRQ race