Thanks to a tweet from @pepijnvangastel, I’ve now updated the Broadcom driver src.rpm for the latest release 5.60.48.36. Check out the Dell Mini 9 page