I’ve set up a node on IPFS to aid in the distribution of SDIO and the driver packs. You can see it at https://gateway.ipfs.io/ipns/glenn.delahoy.com. If you have an IPFS node and some spare bandwidth, please pin this so that others can get it quicker.