With these patches, WiFi still works on the WPA2-CCMP network that I am
using.