Proprietary Firmware and the Pursuit of a Free Kernel