Thanks for your help!
Here are relevant lines from lspci -vnn:
25:00.0 Network controller : Broadcom Corporation BCM4313 802.11b/g/n Wireless LAN Controller [14e4:4727] (rev 01)
Subsystem: Hewlett-Packard Company Device [103c:145c]
Flags: fast devsel, IRQ 19
Memory at d4000000 (64-bit, non-prefetchable) [size=16K]
Capabilities:  Power Management version 3
Capabilities:  Vendor Specific Information: Len=78 <?>
Capabilities:  MSI: Enable- Count=1/1 Maskable- 64bit+
Capabilities: [d0] Express Endpoint, MSI 00
Capabilities:  Advanced Error Reporting
Capabilities: [13c] Virtual Channel
Capabilities:  Device Serial Number 00-00-7a-ff-ff-35-20-10
Capabilities: [16c] Power Budgeting <?>
[ 17.752673] brcm80211: module is from the staging directory, the quality is unknown, you have been warned.
[ 17.757439] brcm80211 0000:25:00.0: PCI INT A -> GSI 19 (level, low) -> IRQ 19
[ 17.757448] brcm80211 0000:25:00.0: setting latency timer to 64
[ 17.757487] brcm80211 0000:25:00.0: firmware: requesting brcm/bcm43xx-0.fw
[ 17.843170] brcm80211: fail to load firmware brcm/bcm43xx-0.fw
[ 17.843175] brcm80211: Failed to find firmware usually in /lib/firmware/brcm
[ 17.843218] brcm80211 0000:25:00.0: PCI INT A disabled
[ 17.843235] brcm80211: wl_pci_probe: wl_attach failed!
It looks like BCM4313 802.11b/g/n Wireless LAN Controller fails to start?