Hacker News Reader

>only allows you to load an external device driver via a floppy disk, which is obviously not helpful.

You can get around this, there are USB drives that can be switched to a mode that presents as a floppy drive.

Thanks for the tip. I forgot the USB-FDD mode completely...

Or you can just embedd the AHCI driver into the ISO before burning it, so it will just start the setup with correct driver already present.