Firmware patches for the bcm43438 wifi chip in the Raspberry Pi 3