Go the extra mile and try to load the cxgbe driver at boot.