gave up on b43

Much to my shame, I’ve given up on the open-source b43 driver for my hpmini’s wi-fi controller. I’ve got a bug report open with Debian on the DMA exception that continued to plague my system, but nothing has come of it yet. In the mean time, the binary-blob-laden wl driver is working fine for now.