Kernel.org: 5.1.15
sid (unstable): 4.19.37-5
buster (testing): 4.19.37-5
stretch (stable): 4.9.168-1+deb9u3
jessie (oldstable): 3.16.68-2

Debian GNU/Linux device driver check & report

HP: Probook 6555b

PCI IDWorks?VendorDeviceDriverKernel
14e44727YesBroadcom CorporationBCM4313 802.11b/g/n Wireless LAN Controllerbrcm80211v2.6.38-