# once
1. Download the latest thin-firmware from dev.laptop.org. http://dev.laptop.org/pub/firmware/libertas/thinfirm/lbtf_sdio-9.0.7.p4.bin
2. Rename the file sd8686tf.bin
3  Get the required helper firmware from Marvell (SD-8686-LINUX26-SYSKT-9.70.3.p24-26409.P45-GPL) http://www.marvell.com/support/downloads/driverDownload.do?driverId=203&action=1
4. Extract the downloaded zip file, then extract SD-8686-FEDORA26FC6-SYSKT-GPL-9.70.3.p24-26409.P45.tar within it. Navigate to the FwImage directory.
5. Inside FwImage there is helper_sd.bin. Rename helper_sd.bin to sd8686_helper.bin and save it for later.

# every machine Think OS_builder for mass deployments or TinyCore for a bit of automation
1. Copy sd8686tf.bin and sd8686_helper.bin to /lib/firmware/
2. Install patch or be online when you install the kernel below
2. Install new kernel rpm 

A running XO needs to reboot to load new kernel.

Things that can go wrong:

1. The kernel is FUBAR
2. You didn't copy the bin files or wrong names before installing the kernel
3. The patching of dracut failed during kernel install, the new initrd.img lacks thinfirm support
4. The driver plain just doesn't work.